From 77c61971becd4ea3f3f16888c3b1f897ef11f055 Mon Sep 17 00:00:00 2001 From: Joseph DiGiovanni Date: Sat, 27 Jul 2024 14:28:09 -0400 Subject: [PATCH] Create file for gnome-console settings --- home/common/gnome/default.nix | 5 ++-- home/common/gnome/gnome-console.nix | 38 +++++++++++++++++++++++++++++ 2 files changed, 40 insertions(+), 3 deletions(-) create mode 100644 home/common/gnome/gnome-console.nix diff --git a/home/common/gnome/default.nix b/home/common/gnome/default.nix index 998df3d..565e37c 100644 --- a/home/common/gnome/default.nix +++ b/home/common/gnome/default.nix @@ -2,15 +2,14 @@ { imports = [ - ./outline-theme ./extensions + ./gnome-console.nix ./firefox-gnome-theme.nix + ./outline-theme ./steam-adwaita-theme.nix ]; dconf.settings = { - "org/gnome/Console".theme = "auto"; - "org/gnome/desktop/background" = { picture-uri = "file:///home/${config.home.username}/Pictures/Wallpapers/Light.jpg"; picture-uri-dark = "file:///home/${config.home.username}/Pictures/Wallpapers/Dark.jpg"; diff --git a/home/common/gnome/gnome-console.nix b/home/common/gnome/gnome-console.nix new file mode 100644 index 0000000..a8d6f8f --- /dev/null +++ b/home/common/gnome/gnome-console.nix @@ -0,0 +1,38 @@ +{ lib, ... }: + +{ + dconf.settings = { + "org/gnome/Console" = + let + fontSize = 10; + fontWidth = fontSize * 0.8; + lineSpacing = fontSize * 0.4 * 2; # Each line has a space of 0.4em above and below it + + terminalMode = { + # Based on VT100 video modes + standard = [ 80 24 ]; + standardTall = [ 80 43 ]; + extendedWide = [ 132 24 ]; + extended = [ 132 43 ]; + }; + + terminalSize = terminalMode.extended; + in + { + custom-font = "Source Code Pro " + toString fontSize; + + last-window-size = with builtins; lib.hm.gvariant.mkTuple [ + (ceil ((elemAt terminalSize 0 * fontWidth) + 12)) + (ceil ((elemAt terminalSize 1 * (fontSize + lineSpacing)) + 48)) + ]; + + theme = "night"; + use-system-font = false; + }; + }; +} + + + + +