[ssh] IPv4 pour kfet

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

diff --git a/.ssh/config b/.ssh/config
index 71c47fd181d6e58ab367e7311fe1d457bc1aa9da..8aac39dfcf246bc558ef7b1de01a0382f1d5d357 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -186,6 +186,8 @@ 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
@@ -1023,5 +1025,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)