From fef12b0b50f551098819ac4e9815f3ea47a723c0 Mon Sep 17 00:00:00 2001
From: panotaka <panotaka@additionalpenguin.com>
Date: Sat, 25 Nov 2023 22:16:02 -0400
Subject: [PATCH] Delete terminals.nix file

---
 home/shell/terminals.nix | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 home/shell/terminals.nix

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