sam/paperclip-harness
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Conversation and Author screens styled to match; glyph policy chosen from measurement

Browse Source
This commit is contained in:
Sam
2026-11-10 14:18:33 +11:00
parent 4e3c955350
commit 031073fc46
13 changed files with 755 additions and 240 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
docs/ENVIRONMENT-FACTS.md
View File

@@ -112,8 +112,13 @@ What was changed:
`.27`, `.51`. `nix build --dry-run` evaluates and wants
`nerd-fonts-jetbrains-mono-3.4.0+2.304`. **The rebuild is still to be run** (`sudo`
needs a password here).
- `~/.config/ghostty/config` sets `font-family = "JetBrainsMono Nerd Font"`. Until the
rebuild, Ghostty falls back to its own font and nothing looks different.
- `~/.config/ghostty/config` sets `font-family = "JetBrainsMono Nerd Font"`.
- Rebuilt by the person on 2026-11-10: `fc-list | grep -ci nerd` now returns 96, and
`JetBrainsMonoNerdFont-Regular.ttf` is present in the store. The font is installed on
`.13`; `.27` and `.51` get it from the same flake on their next rebuild.
- The theme is now set: `theme = 'catppuccin_mocha'` in `~/.config/tuios/config.toml`.
`tuios set-config` refused for the running session ("would change this machine, not the
session"), so the running session keeps its old chrome until it is restarted.
## Toolchain