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
HostName lri30-13.lri.fr
User legallic
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)