[.ssh/config] RIP rasputin

[config-20-100.git] / .ssh / config

diff --git a/.ssh/config b/.ssh/config
index a2d44078918b1957b4eb448963e914bcec948dda..3e37672db6c2c53c8946222ab356adf426eb7241 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -186,18 +186,20 @@ Host pimeys pimeys.fr becue.eu
 Host kfet kfet.crans.org kfet1
     HostName kfet.crans.org
     User bde
+    # IPv4 only
+    AddressFamily inet
 
 Host kfet2 kfet2.crans.org
     HostName kfet2.crans.org
     User vincent
 
-Host bde bde.crans.org note mininote invitation invitations note.crans.org mininote.crans.org invitations.crans.org invitation.crans.org
-    HostName note.crans.org
+Host old-note old-note.crans.org
+    HostName old-note.crans.org
     User vincent
     ForwardAgent yes
 
-Host bde2 bde2.crans.org note2
-    HostName bde2.crans.org
+Host note bde2 note2 note.crans.org bde2.crans.org note2.crans.org
+    HostName note.crans.org
     User vincent
     ForwardAgent yes
 
@@ -258,11 +260,7 @@ Host genua acoeur.genua.fr
 # +----+
 # | A♡ |
 # +----+
-# Parce que le département A♡ a une raspberry PI et un serveur !
-
-Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
-    HostName rasputin.crans.org
-    User vincent
+# Parce que le département A♡ a un serveur
 
 Host acoeur acoeur.crans.org
     HostName acoeur.crans.org
@@ -1023,5 +1021,11 @@ Host labo lri30-13 lri30-13.lri.fr
     ForwardAgent yes
     ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
 
+Host hal hal.labo 129.175.29.151
+    HostName 129.175.29.151
+    User vincent
+    ForwardAgent yes
+    ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
+
 # END (utile pour éviter les merge conflicts)