ssh stuff

.ssh/config

@@ -1,6 +1,6 @@
 AddKeysToAgent confirm
 
-Host hindley hindley.adh.auro.re
+Host proxy_pp hindley hindley.adh.auro.re
 	HostName hindley.adh.auro.re
     User histausse
 
@@ -10,7 +10,7 @@ Host lovelace lovelace.adh.auro.re
 
 Host azerty azerty.fil.sand.auro.re
 	Hostname azerty.fil.sand.auro.re
-	ProxyJump lovelace
+	ProxyJump proxy_pp
     User histausse
 
 Host 10.128.0.* *.adm.auro.re
@@ -38,7 +38,7 @@ Host perso-telecom
 
 Host hellman hellman.fil.sand.auro.re
     Hostname hellman.fil.sand.auro.re
-	ProxyJump lovelace
+	ProxyJump proxy_pp
 	User histausse
 
 Host rossum
@@ -75,3 +75,19 @@ Host vm5
 Host rossum
 	Hostname rossum.deso-palaiseau.fr
 	User histausse
+
+Host 172.20.*.*
+    User histausse
+
+Host vps-a862b615.vps.ovh.net
+    User admin
+    IdentityFile ~/.ssh/id_medarus
+
+Host groseille
+    Hostname 10.50.3.250
+    User pi
+
+Host synapse
+    Hostname nyx.ovh
+	Port 4502
+    User histausse