diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/ghostty/config | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/config/ghostty/config b/config/ghostty/config index 0cb6f65..72ea0f3 100644 --- a/config/ghostty/config +++ b/config/ghostty/config @@ -47,3 +47,13 @@ auto-update-channel = tip # Text selection selection-background = #ff5a00 + +# Machine-local overrides, where a machine has any: ~/.config/ghostty-local, a +# file in no repo. Last, so its values win over everything above, the theme +# colours included, and its keybinds add to the ones set here. `?` makes it +# optional, so a machine without one is not an error. +# +# Not a file beside this one: link.sh links this whole directory, so +# ~/.config/ghostty is the repo itself and anything dropped in it would be an +# untracked file in the checkout every machine shares. +config-file = ?~/.config/ghostty-local |