4 pkgs.nerd-fonts.symbols-only
5 #pkgs.nerd-fonts.DejaVuSansMono
7 xdg.configFile."ghostty/custom.css".source = ghostty/custom.css;
10 # ConfigurationHelper: https://ghostty.zerebos.com
16 #gtk-single-instance = "detect";
17 background = "#000000";
18 clipboard-read = "allow";
19 clipboard-trim-trailing-spaces = true;
20 clipboard-write = "allow";
21 confirm-close-surface = false;
22 # ligatures are confusing
28 font-size = lib.mkDefault 9;
29 copy-on-select = true;
31 cursor-style-blink = true;
32 # Note: home-manager currently does not allow filepaths here, hence use a string.
33 gtk-custom-css = "/home/julm/.config/ghostty/custom.css";
34 gtk-single-instance = "desktop";
36 linux-cgroup = "always";
37 linux-cgroup-hard-fail = "true";
38 quit-after-last-window-closed = true;
39 # Keep Ghostty running a bit so that new window creation is faster.
40 quit-after-last-window-closed-delay = "15m";
41 shell-integration = "detect";
42 shell-integration-features = [
46 # MaintenanceToDo: enable when ghostty is updated to support it
50 working-directory = "home";