From bcbdeb931dd3523bc501c14f9d4e253e8b8ff38a Mon Sep 17 00:00:00 2001
From: Tao Tien <29749622+taotien@users.noreply.github.com>
Date: Tue, 22 Apr 2025 15:45:05 -0700
Subject: [PATCH] ssh

---
 users/tao/HOME.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/users/tao/HOME.nix b/users/tao/HOME.nix
index af71f55..f8e85ca 100644
--- a/users/tao/HOME.nix
+++ b/users/tao/HOME.nix
@@ -135,11 +135,11 @@ in {
           identityFile = "/home/tao/.ssh/id_ed25519";
         };
         "griffin" = {
-          hostname = "griffin";
+          hostname = "griffin.cs.usfca.edu";
           user = "tltien";
           forwardAgent = true;
           identityFile = "/home/tao/.ssh/id_ed25519";
-          proxyCommand = "ssh griffin.cs.usfca.edu";
+          # proxyCommand = "ssh griffin.cs.usfca.edu";
         };
         "github" = {
           hostname = "github.com";