update ssh/config

.ssh/config

@@ -1,10 +1,10 @@
 AddKeysToAgent confirm
 
-Host hindley
+Host hindley hindley.adh.auro.re
 	HostName hindley.adh.auro.re
     User jmmineau
 
-Host azerty
+Host azerty azerty.fil.sand.auro.re
 	Hostname azerty.fil.sand.auro.re
 	ProxyJump hindley
     User jmmineau
@@ -25,3 +25,17 @@ Host telecom
 	ProxyJump proxy-telecom
 	User jmmineau
 	#RemoteCommand "source .xonsh_env/bin/activate && xonsh"
+
+Host my_re2o
+    Hostname re2o.deso-palaiseau.fr
+	User histausse
+
+Host hellman
+    Hostname hellman.fil.sand.auro.re
+	User histausse
+	ProxyJump hindley
+
+Host my_dns
+	Hostname dns-histausse.fil.sand.auro.re
+	User histausse
+	ProxyJump hindley