bde2 devient note. Behold NK2015

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

diff --git a/.ssh/config b/.ssh/config
index b6de69ef2b574de65f9751368d5648c5b0ec2938..71c47fd181d6e58ab367e7311fe1d457bc1aa9da 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -191,13 +191,13 @@ 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
 
@@ -1021,6 +1021,7 @@ Host labo lri30-13 lri30-13.lri.fr
     HostName lri30-13.lri.fr
     User legallic
     ForwardAgent yes
+    ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
 
 # END (utile pour éviter les merge conflicts)