From 5bc9ee5de9e9aeabbc72d490922a17e311c4aad7 Mon Sep 17 00:00:00 2001
From: Richie Cahill <Richie@tmmworkshop.com>
Date: Tue, 25 Aug 2026 18:10:05 -0400
Subject: [PATCH] =?UTF-8?q?feat(home):=20expand=20Richie=E2=80=99s=20minim?=
 =?UTF-8?q?al=20profile=20for=20Portal?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- move essential CLI tools into the minimal package set
- remove duplicated packages from the full programs profile
- add the portal-1 SSH host on port 278
---
 users/richie/home/minimal.nix    | 12 +++++++++++-
 users/richie/home/programs.nix   |  6 ------
 users/richie/home/ssh_config.nix |  6 ++++++
 3 files changed, 17 insertions(+), 7 deletions(-)

diff --git a/users/richie/home/minimal.nix b/users/richie/home/minimal.nix
index 30928fa..029bea9 100644
--- a/users/richie/home/minimal.nix
+++ b/users/richie/home/minimal.nix
@@ -1,4 +1,4 @@
-{ config, ... }:
+{ config, pkgs, ... }:
 {
   imports = [
     ./cli
@@ -13,5 +13,15 @@
     homeDirectory = "/home/${config.home.username}";
     stateVersion = "24.05";
     sessionVariables.FLAKE = "$HOME/dotfiles";
+    packages = with pkgs; [
+      # cli
+      btop
+      eza
+      ripgrep
+      starship
+      tmux
+      # networking
+      wget
+    ];
   };
 }
diff --git a/users/richie/home/programs.nix b/users/richie/home/programs.nix
index 4cd0eb2..d380da4 100644
--- a/users/richie/home/programs.nix
+++ b/users/richie/home/programs.nix
@@ -3,8 +3,6 @@
   home.packages = with pkgs; [
     # cli
     bat
-    btop
-    eza
     fd
     ffmpegthumbnailer
     fzf
@@ -18,9 +16,6 @@
     p7zip
     poppler
     rar
-    ripgrep
-    starship
-    tmux
     unzip
     yazi
     zoxide
@@ -37,7 +32,6 @@
     # networking
     iperf3
     nmap
-    wget
     # python
     ruff
     uv
diff --git a/users/richie/home/ssh_config.nix b/users/richie/home/ssh_config.nix
index e56ed33..2bd41de 100644
--- a/users/richie/home/ssh_config.nix
+++ b/users/richie/home/ssh_config.nix
@@ -43,6 +43,12 @@
         IdentityFile = "~/.ssh/id_ed25519";
         Port = 922;
       };
+      portal-1 = {
+        HostName = "portal-1";
+        User = "richie";
+        IdentityFile = "~/.ssh/id_ed25519";
+        Port = 278;
+      };
     };
   };
 }