pederbs/config
2
1
Fork 0
Code Issues Pull Requests Releases Activity

home.ssh: garp

Browse Source
This commit is contained in:
Peder Bergebakken Sundt
2023-10-09 23:19:43 +02:00
parent 44461fc75a
commit 4a4ac47f3c
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
users/pbsds/home/profiles/ssh.nix
View File

@@ -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;