From 15420b3a2fb0f5638aa6dbc380cd73807cd6bae4 Mon Sep 17 00:00:00 2001
From: Daniel Langbein <daniel@systemli.org>
Date: Thu, 5 Oct 2023 12:42:05 +0200
Subject: [PATCH] feat: gnome-terminal instead of gnome-console

As the former can be configured with Home-Manager
---
 modules/gnome-config.nix | 37 +++++++++++++++++++++++++++++++++++++
 modules/programs.nix     |  2 ++
 2 files changed, 39 insertions(+)

diff --git a/modules/gnome-config.nix b/modules/gnome-config.nix
index 92a6613..9968fa6 100644
--- a/modules/gnome-config.nix
+++ b/modules/gnome-config.nix
@@ -12,6 +12,43 @@
   programs.dconf.enable = true;
 
   home-manager.users.yoda = { osConfig, config, pkgs, ... }: {
+    programs.gnome-terminal.enable = true;
+    programs.gnome-terminal.profile."74b90a31-5123-4a64-91a3-3cb31eb5cdb6" = {
+      default = true;
+      visibleName = "Yoda's Terminal";
+      font = "DejaVu Sans Mono 11";
+      audibleBell = false;
+
+      # Theme: https://github.com/chriskempson/base16-default-schemes/blob/master/default-light.yaml
+      # Where to place theme values: https://github.com/knopki/devops-at-home/blob/307921320d6147347e830d2c709f142b809d55b4/home/modules/theme/theme-gnome-terminal.nix#L16-L41
+      colors = {
+        backgroundColor = "#f8f8f8";
+        foregroundColor = "#383838";
+        cursor = {
+          background = "#383838";
+          foreground = "#f8f8f8";
+        };
+        palette = [
+          "#f8f8f8"
+          "#ab4642"
+          "#a1b56c"
+          "#f7ca88"
+          "#7cafc2"
+          "#ba8baf"
+          "#86c1b9"
+          "#383838"
+          "#b8b8b8"
+          "#dc9656"
+          "#e8e8e8"
+          "#d8d8d8"
+          "#585858"
+          "#282828"
+          "#a16946"
+          "#181818"
+        ];
+      };
+    };
+
     dconf.settings = {
       "org/gnome/desktop/media-handling" = {
         # Settings > Removable Media > Never promt or start apps on media insertion
diff --git a/modules/programs.nix b/modules/programs.nix
index 0449b76..305e92d 100644
--- a/modules/programs.nix
+++ b/modules/programs.nix
@@ -6,6 +6,7 @@
   environment.gnome.excludePackages = (with pkgs; [
     gnome-photos
     gnome-tour
+    gnome-console # Can't be configured with Home-Manager as of 2023-10.
   ]) ++ (with pkgs.gnome; [
     cheese # Webcam viewer
     gnome-music # Music player
@@ -36,6 +37,7 @@
       (rWrapper.override{ packages = with rPackages; [ lubridate rdwd zoo ]; })
 
       # Graphical Apps
+      gnome.gnome-terminal # Console. For now, we use this instead of gnome-console.
       gnome.gnome-tweaks
       gnome.dconf-editor
       tor-browser-bundle-bin # Tor web browser