From 75486ac31307351ac53422757b64c195bec41b05 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= Date: Sat, 9 Sep 2023 15:05:41 +0100 Subject: [PATCH] remove gnome terminal settings, as using kitty exclusively --- nixos/gnome/home.nix | 33 --------------------------------- 1 file changed, 33 deletions(-) diff --git a/nixos/gnome/home.nix b/nixos/gnome/home.nix index 55a86ece..96760bb0 100644 --- a/nixos/gnome/home.nix +++ b/nixos/gnome/home.nix @@ -32,37 +32,4 @@ ]; }; }; - - programs.gnome-terminal = { - enable = true; - profile = { - cyplo = { - visibleName = "peninsula"; - default = true; - font = "BerkeleyMono Nerd Font"; - colors = { - foregroundColor = "#838394949696"; - backgroundColor = "#00002B2B3636"; - palette = [ - "#070736364242" - "#DCDC32322F2F" - "#858599990000" - "#B5B589890000" - "#26268B8BD2D2" - "#D3D336368282" - "#2A2AA1A19898" - "#EEEEE8E8D5D5" - "#00002B2B3636" - "#CBCB4B4B1616" - "#58586E6E7575" - "#65657B7B8383" - "#838394949696" - "#6C6C7171C4C4" - "#9393A1A1A1A1" - "#FDFDF6F6E3E3" - ]; - }; - }; - }; - }; }