update ssh config

.ssh/config

@@ -47,31 +47,6 @@ Host rossum
 #    Hostname rossum.deso-palaiseau.fr
 	User histausse
 
-Host vm1
-	Hostname localhost
-	User histausse
-	Port 1122
-
-Host vm2
-	Hostname localhost
-	User histausse
-	Port 1222
-
-Host vm3
-	Hostname localhost
-	User histausse
-	Port 1322
-
-Host vm4
-	Hostname vm4
-	User histausse
-	Port 2222
-
-Host vm5
-	Hostname localhost
-	User histausse
-	Port 1422
-
 Host rossum
 	Hostname rossum.deso-palaiseau.fr
 	User histausse
@@ -92,10 +67,32 @@ Host synapse
 	Port 4502
     User histausse
 
-Host ctf
-	Hostname 10.60.70.3
-	User root
-
 Host example.fr
 	HostName hindley.adh.auro.re
     User histausse
+
+Host krypton
+	Hostname nyx.ovh
+	Port 4503
+	User histausse
+
+Host shannon
+	Hostname 192.168.42.1
+	User root
+
+Host proxy_eurecom
+	Hostname ssh.eurecom.fr
+	HostKeyAlgorithms +ssh-rsa
+	User mineau
+
+Host gitea.auro.re
+	User git
+	ProxyJump hindley
+
+Host ubuntusnap
+    Hostname 192.168.56.3
+    User histausse
+
+Host centossnap
+    Hostname 192.168.56.4
+    User histausse