From b866980514c365af015e4d4d90bdd492f80aab02 Mon Sep 17 00:00:00 2001
From: Michael Weiss
Date: Sun, 2 Feb 2020 18:51:14 +0100
Subject: ssh/config: Add overrides for the hosts "git" and "luna"

---
 ssh/config | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'ssh/config')

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
-- 
cgit v1.2.3