From a040a2724b2b306ea8553ff5da7570513bfd0bd4 Mon Sep 17 00:00:00 2001
From: Tao Tien <29749622+taotien@users.noreply.github.com>
Date: Tue, 1 Apr 2025 15:06:29 -0700
Subject: [PATCH] fix griffin

---
 users/tao/HOME.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/users/tao/HOME.nix b/users/tao/HOME.nix
index 7c033a7..af71f55 100644
--- a/users/tao/HOME.nix
+++ b/users/tao/HOME.nix
@@ -139,7 +139,7 @@ in {
           user = "tltien";
           forwardAgent = true;
           identityFile = "/home/tao/.ssh/id_ed25519";
-          proxyCommand = "ssh stargate -W %h:%p";
+          proxyCommand = "ssh griffin.cs.usfca.edu";
         };
         "github" = {
           hostname = "github.com";