add haskell and syssec hosts, convert tab to spaces

.ssh/config

@@ -1,16 +1,20 @@
 AddKeysToAgent confirm
 
 Host proxy_pp hindley hindley.adh.auro.re
-	HostName hindley.adh.auro.re
+    HostName hindley.adh.auro.re
+    User histausse
+
+Host haskell
+    HostName 45.66.110.112
     User histausse
 
 Host lovelace lovelace.adh.auro.re
-	HostName lovelace.adh.auro.re
+    HostName lovelace.adh.auro.re
     User histausse
 
 Host azerty azerty.fil.sand.auro.re
-	Hostname azerty.fil.sand.auro.re
+    Hostname azerty.fil.sand.auro.re
-	ProxyJump proxy_pp
+    ProxyJump proxy_pp
     User histausse
 
 Host 10.128.0.* *.adm.auro.re
@@ -23,33 +27,33 @@ Host *.auro.re
 
 Host proxy-telecom
     Hostname ssh.enst.fr
-	User jmmineau
+    User jmmineau
 
 Host telecom
-	Hostname tp-3a101-12.enst.fr
+    Hostname tp-3a101-12.enst.fr
-	ProxyJump proxy-telecom
+    ProxyJump proxy-telecom
-	User jmmineau
+    User jmmineau
-	#RemoteCommand "source .xonsh_env/bin/activate && xonsh"
+    #RemoteCommand "source .xonsh_env/bin/activate && xonsh"
 
 Host perso-telecom
-	Hostname perso-jmmineau.lxc.enst.fr
+    Hostname perso-jmmineau.lxc.enst.fr
-	ProxyJump proxy-telecom
+    ProxyJump proxy-telecom
-	User jmmineau
+    User jmmineau
 
 Host hellman hellman.fil.sand.auro.re
     Hostname hellman.fil.sand.auro.re
-	ProxyJump proxy_pp
+    ProxyJump proxy_pp
-	User histausse
+    User histausse
 
 Host rossum
     Hostname 172.20.1.4
 #    Hostname 192.168.0.50
 #    Hostname rossum.deso-palaiseau.fr
-	User histausse
+    User histausse
 
 Host rossum
-	Hostname rossum.deso-palaiseau.fr
+    Hostname rossum.deso-palaiseau.fr
-	User histausse
+    User histausse
 
 Host 172.20.*.*
     User histausse
@@ -64,37 +68,41 @@ Host groseille
 
 Host synapse
     Hostname nyx.ovh
-	Port 4502
+    Port 4502
     User histausse
 
 Host example.fr
-	HostName hindley.adh.auro.re
+    HostName hindley.adh.auro.re
     User histausse
 
 Host krypton
-	Hostname nyx.ovh
+    Hostname nyx.ovh
-	Port 4503
+    Port 4503
-	User histausse
+    User histausse
 
 Host shannon
-	Hostname 192.168.42.1
+    Hostname 192.168.42.1
-	User root
+    User root
 
 Host proxy_eurecom
-	Hostname ssh.eurecom.fr
+    Hostname ssh.eurecom.fr
-	HostKeyAlgorithms +ssh-rsa
+    HostKeyAlgorithms +ssh-rsa
-	User mineau
+    User mineau
 
 Host gitea.auro.re
-	User git
+    User git
-	ProxyJump hindley
+    ProxyJump hindley
 
 Host ubuntusnap
     Hostname 192.168.56.3
     User histausse
-	IdentityFile ~/.ssh/id_local
+    IdentityFile ~/.ssh/id_local
 
 Host centossnap
     Hostname 192.168.56.4
     User histausse
-	IdentityFile ~/.ssh/id_local
+    IdentityFile ~/.ssh/id_local
+
+Host syssec
+    Hostname syssec-lab.s3.eurecom.fr
+    User histausse