diff --git a/users/pbsds/home/profiles/ssh.nix b/users/pbsds/home/profiles/ssh.nix index 4d20a9d..9cb5acc 100644 --- a/users/pbsds/home/profiles/ssh.nix +++ b/users/pbsds/home/profiles/ssh.nix @@ -32,6 +32,7 @@ "*.idi.ntnu.no".proxyJump = "isvegg.pvv.ntnu.no"; # me + "garp.pbsds.net".proxyJump = "isvegg.pvv.ntnu.no"; "bolle.pbsds.net".proxyJump = "isvegg.pvv.ntnu.no"; "knut.pbsds.net".port = 23; "nord.pbsds.net".port = 24;