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";