add .ssh/config to dotfiles

also fix the install script
This commit is contained in:
2026-03-25 23:04:52 +01:00
parent c1ddc1dd93
commit 7e655fa1bb
9 changed files with 10 additions and 6 deletions
+9
View File
@@ -0,0 +1,9 @@
Host login.pvv.ntnu.no
User frero
AddressFamily inet
Host git.pvv.ntnu.no
User gitea
AddressFamily inet
Port 2222
ProxyJump login.pvv.ntnu.no