aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ssh/config9
1 files changed, 9 insertions, 0 deletions
diff --git a/ssh/config b/ssh/config
index b4a08aa..02735b6 100644
--- a/ssh/config
+++ b/ssh/config
@@ -1,3 +1,12 @@
+Host git.fsi.uni-tuebingen.de
+ Port 222
+ User git
+ HostKeyAlgorithms ssh-rsa
+
+Host luna.fsi.uni-tuebingen.de
+ HostName proxy.fsi.uni-tuebingen.de
+ Port 50000
+
Host *.fsi.uni-tuebingen.de *.fs-psycho.uni-tuebingen.de *.klimagarten.uni-tuebingen.de
UserKnownHostsFile ~/.ssh/fsi_hosts # TODO: Copy the file from this repo
StrictHostKeyChecking yes