From 656658c0381d7fa4c83299161e34d3f6de08d724 Mon Sep 17 00:00:00 2001 From: Sean Buckley Date: Wed, 2 Nov 2022 13:07:18 -0400 Subject: [PATCH] theme gnome-console --- modules/gnome-console-theme/background.patch | 9 +++++ modules/gnome-console-theme/default.nix | 12 +++++++ modules/gnome-console-theme/tango.patch | 37 ++++++++++++++++++++ 3 files changed, 58 insertions(+) create mode 100644 modules/gnome-console-theme/background.patch create mode 100644 modules/gnome-console-theme/default.nix create mode 100644 modules/gnome-console-theme/tango.patch diff --git a/modules/gnome-console-theme/background.patch b/modules/gnome-console-theme/background.patch new file mode 100644 index 0000000..8707abc --- /dev/null +++ b/modules/gnome-console-theme/background.patch @@ -0,0 +1,9 @@ +--- a/src/kgx-terminal.c ++++ b/src/kgx-terminal.c +@@ -159,5 +159,5 @@ update_terminal_colors (KgxTerminal *self) + default: + fg = (GdkRGBA) { 1.0, 1.0, 1.0, 1.0}; +- bg = (GdkRGBA) { 0.05, 0.05, 0.05, 0.96 }; ++ bg = (GdkRGBA) { 0.12, 0.12, 0.12, 1.0 }; + break; + } diff --git a/modules/gnome-console-theme/default.nix b/modules/gnome-console-theme/default.nix new file mode 100644 index 0000000..2aeaf3d --- /dev/null +++ b/modules/gnome-console-theme/default.nix @@ -0,0 +1,12 @@ +{ + nixpkgs.overlays = [ + (self: super: { + gnome-console = super.gnome-console.overrideAttrs (prev: { + patches = prev.patches ++ [ + ./background.patch + ./tango.patch + ]; + }); + }) + ]; +} diff --git a/modules/gnome-console-theme/tango.patch b/modules/gnome-console-theme/tango.patch new file mode 100644 index 0000000..00c9f13 --- /dev/null +++ b/modules/gnome-console-theme/tango.patch @@ -0,0 +1,37 @@ +--- a/src/kgx-terminal.c ++++ b/src/kgx-terminal.c +@@ -117,18 +117,18 @@ update_terminal_colors (KgxTerminal *self) + GdkRGBA palette[16] = { +- GDK_RGBA ("241f31"), // Black +- GDK_RGBA ("c01c28"), // Red +- GDK_RGBA ("2ec27e"), // Green +- GDK_RGBA ("f5c211"), // Yellow +- GDK_RGBA ("1e78e4"), // Blue +- GDK_RGBA ("9841bb"), // Magenta +- GDK_RGBA ("0ab9dc"), // Cyan +- GDK_RGBA ("c0bfbc"), // White +- GDK_RGBA ("5e5c64"), // Bright Black +- GDK_RGBA ("ed333b"), // Bright Red +- GDK_RGBA ("57e389"), // Bright Green +- GDK_RGBA ("f8e45c"), // Bright Yellow +- GDK_RGBA ("51a1ff"), // Bright Blue +- GDK_RGBA ("c061cb"), // Bright Magenta +- GDK_RGBA ("4fd2fd"), // Bright Cyan +- GDK_RGBA ("f6f5f4"), // Bright White ++ GDK_RGBA ("2e3436"), // Black ++ GDK_RGBA ("cc0000"), // Red ++ GDK_RGBA ("4e9a06"), // Green ++ GDK_RGBA ("c4a000"), // Yellow ++ GDK_RGBA ("3465a4"), // Blue ++ GDK_RGBA ("75507b"), // Magenta ++ GDK_RGBA ("06989a"), // Cyan ++ GDK_RGBA ("d3d7cf"), // White ++ GDK_RGBA ("555753"), // Bright Black ++ GDK_RGBA ("ef2929"), // Bright Red ++ GDK_RGBA ("8ae234"), // Bright Green ++ GDK_RGBA ("fce94f"), // Bright Yellow ++ GDK_RGBA ("729fcf"), // Bright Blue ++ GDK_RGBA ("ad7fa8"), // Bright Magenta ++ GDK_RGBA ("34e2e2"), // Bright Cyan ++ GDK_RGBA ("eeeeec"), // Bright White + };