feat: gnome-terminal instead of gnome-console

As the former can be configured with Home-Manager

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

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