From dc743bac40800af984b8795d7f76edfa62679428 Mon Sep 17 00:00:00 2001
From: Tao Tien <29749622+taotien@users.noreply.github.com>
Date: Mon, 3 Nov 2025 15:52:31 -0800
Subject: [PATCH] shh

---
 users/tao/HOME.nix | 22 +++++++---------------
 1 file changed, 7 insertions(+), 15 deletions(-)

diff --git a/users/tao/HOME.nix b/users/tao/HOME.nix
index e5d8077..8f4ebf3 100644
--- a/users/tao/HOME.nix
+++ b/users/tao/HOME.nix
@@ -148,26 +148,18 @@ in {
                     forwardAgent = true;
                     identityFile = "/home/tao/.ssh/id_ed25519";
                 };
-                "griffin" = {
-                    hostname = "griffin.cs.usfca.edu";
-                    user = "tltien";
-                    forwardAgent = true;
-                    identityFile = "/home/tao/.ssh/id_ed25519";
-                    # proxyCommand = "ssh griffin.cs.usfca.edu";
-                };
+                # "chupacabra" = {
+                #     hostname = "stargate.cs.usfca.edu";
+                #     user = "tltien";
+                #     forwardAgent = true;
+                #     identityFile = "/home/tao/.ssh/id_ed25519";
+                #     proxyCommand = "ssh chupacabra.cs.usfca.edu";
+                # };
                 "github" = {
                     hostname = "github.com";
                     forwardAgent = true;
                     identityFile = "/home/tao/.ssh/id_ed25519";
                 };
-                # "uwuraid" = {
-                #   hostname = "uwuraid";
-                #   user = "root";
-                #   # extraOptions = ["-t" "cd /mnt/user; exet \$SHELL -l"];
-                #   # requesttty = true;
-                #   # identityFile = "/home/tao/.ssh/id_ed25519";
-                #   proxyCommand = "ssh -t root@uwuraid cd /mnt/user; exec \\$SHELL -l";
-                # };
             };
         };