From dad489c518befa91eebc3da429a24469c0ae9636 Mon Sep 17 00:00:00 2001 From: sstent Date: Wed, 22 Feb 2023 10:48:40 -0500 Subject: [PATCH] sync --- modules/home-manager/sstent.nix | 100 ++++++++++++++++---------------- 1 file changed, 50 insertions(+), 50 deletions(-) diff --git a/modules/home-manager/sstent.nix b/modules/home-manager/sstent.nix index 59ce590..0be3d54 100644 --- a/modules/home-manager/sstent.nix +++ b/modules/home-manager/sstent.nix @@ -110,55 +110,55 @@ programs = { }; #######If Gnome - config = lib.mkIf config.mymods.gnome.enable { - programs.bash.enable = true; - programs.firefox.enable = true; - programs.gnome-terminal.enable = true; - programs.gnome-terminal.profile = { - "f2afd3c7-cb35-4d08-b6c2-523b444be64d" = { - visibleName = "Stu"; - showScrollbar = true; - default = true; - font = "DejaVu Sans Mono 12"; - colors = { - backgroundColor = "rgb(23,20,33)"; - foregroundColor = "rgb(208,207,204)"; - palette = [ - "#272224" - "#FF473D" - "#3DCCB2" - "#FF9600" - "#3B7ECB" - "#F74C6D" - "#00B5FC" - "#3E3E3E" - "#52494C" - "#FF6961" - "#85E6D4" - "#FFB347" - "#779ECB" - "#F7A8B8" - "#55CDFC" - "#EEEEEC" - ]; - }; - }; - }; - xdg.configFile."gnome-initial-setup-done".text = "yes"; - xdg.configFile."gtk-3.0/bookmarks".text = '' - file:///mnt/Public Public - ''; - dconf.settings = { - # ... - "org/gnome/shell" = { - favorite-apps = [ - "firefox.desktop" - "org.gnome.Terminal.desktop" - "org.gnome.Nautilus.desktop" - ]; - }; - "org/gnome/desktop/interface" = { color-scheme = "prefer-dark"; }; + # config = lib.mkIf config.mymods.gnome.enable { + # programs.bash.enable = true; + # programs.firefox.enable = true; + # programs.gnome-terminal.enable = true; + # programs.gnome-terminal.profile = { + # "f2afd3c7-cb35-4d08-b6c2-523b444be64d" = { + # visibleName = "Stu"; + # showScrollbar = true; + # default = true; + # font = "DejaVu Sans Mono 12"; + # colors = { + # backgroundColor = "rgb(23,20,33)"; + # foregroundColor = "rgb(208,207,204)"; + # palette = [ + # "#272224" + # "#FF473D" + # "#3DCCB2" + # "#FF9600" + # "#3B7ECB" + # "#F74C6D" + # "#00B5FC" + # "#3E3E3E" + # "#52494C" + # "#FF6961" + # "#85E6D4" + # "#FFB347" + # "#779ECB" + # "#F7A8B8" + # "#55CDFC" + # "#EEEEEC" + # ]; + # }; + # }; + # }; + # xdg.configFile."gnome-initial-setup-done".text = "yes"; + # xdg.configFile."gtk-3.0/bookmarks".text = '' + # file:///mnt/Public Public + # ''; + # dconf.settings = { + # # ... + # "org/gnome/shell" = { + # favorite-apps = [ + # "firefox.desktop" + # "org.gnome.Terminal.desktop" + # "org.gnome.Nautilus.desktop" + # ]; + # }; + # "org/gnome/desktop/interface" = { color-scheme = "prefer-dark"; }; - }; - }; + # }; + # }; }