Delete terminals.nix file

2023-11-25 22:16:02 -04:00
parent 2e705c27d6
commit fef12b0b50
1 changed files with 0 additions and 29 deletions
--- a/home/shell/terminals.nix
+++ b/home/shell/terminals.nix
@@ -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;
-      };
-
-    };
-  };
-}