diff --git a/home/shell/terminals.nix b/home/shell/terminals.nix deleted file mode 100644 index 6b2c9fb..0000000 --- a/home/shell/terminals.nix +++ /dev/null @@ -1,29 +0,0 @@ -{ pkgs, ... }: - -# terminals - -let - font = "JetBrainsMono Nerd Font"; -in -{ - programs.alacritty = { - enable = true; - settings = { - window.opacity = 0.95; - window.dynamic_padding = true; - window.padding = { - x = 5; - y = 5; - }; - scrolling.history = 10000; - - font = { - normal.family = font; - bold.family = font; - italic.family = font; - size = 11; - }; - - }; - }; -}