From 4a4ac47f3c44dc017f95ed984ef82699f8089445 Mon Sep 17 00:00:00 2001 From: Peder Bergebakken Sundt Date: Mon, 9 Oct 2023 23:19:43 +0200 Subject: [PATCH] home.ssh: garp --- users/pbsds/home/profiles/ssh.nix | 1 + 1 file changed, 1 insertion(+) 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;