chore: Update hdh20267 user to use new shell selection

2026-01-13 18:24:41 -05:00
parent f606ea731c
commit 5f5698f608
1 changed files with 6 additions and 6 deletions
--- a/users.nix
+++ b/users.nix
@@ -46,12 +46,12 @@
      ];
      enable = true; # Default user, enabled everywhere
    };
-    #hdh20267 = {
-    #  external = builtins.fetchGit {
-    #    url = "https://git.factory.uga.edu/hdh20267/hdh20267-nix";
-    #    rev = "c538e0c0510045b58264627bb897fc499dc7c490";
-    #  };
-    #};
+    hdh20267 = {
+      external = builtins.fetchGit {
+        url = "https://git.factory.uga.edu/hdh20267/hdh20267-nix";
+        rev = "dbdf65c7bd59e646719f724a3acd2330e0c922ec";
+      };
+    };
    sv22900 = {
      description = "Alireza Vaezi";
      extraGroups = [