1 # .ssh/config générique mis à votre disposition
2 # par les gentils membres actifs du Cr@ns
3 # Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
4 # Des questions, des suggestions : {nounou,ca}@lists.crans.org
5 # Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
8 # Les sections commentées par #~# sont des features qui ne sont pas activées
9 # par défaut. Sentez-vous libre de les décommenter pour les utiliser.
11 # À noter que la plupart des serveurs présents dedans sont des serveurs
12 # du Cr@ns, qui risquent donc d'intéresser essentiellement des membres actifs.
13 # Pensez à remplacer "loginCr@ns", "loginFedeRez" et "loginENS" par les login idoines
15 #------------------------------------------------------------------------------
17 # Les options qui ne sont pas indentées sont activées pour toutes les connexions
18 # Mêmes celles qui ne correspondent à aucun bloc plus bas
19 # Activer la compression des données transmises lorsque c'est possible
22 #~# # Afficher la fingerprint du serveur sous la forme d'un ASCII art
25 # Ne pas hasher les noms des machines auxquelles on se connecte dans
26 # le fichier known_hosts
29 # Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
30 # et du fingerprint présenté par le serveur
33 # Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
35 # Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
36 # sur la connexion, pour la garder vivante.
37 ServerAliveInterval 60
38 # Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
41 # Les options suivantes apparaissent dans les blocs
42 # Host = commence un bloc avec les noms qui utiliseront ce bloc
43 # HostName = nom réellement utilisé pour se connecter au serveur (ou son IP)
44 # User = nom d'utilisateur distant
45 # Port = port de connexion (pour override le port 22)
46 # ForwardAgent = forwarder l'agent ssh sur la machine
47 # (il vaut mieux qu'elle et ses administrateurs soient de confiance)
48 # ProxyCommand = pour passer par un autre serveur intermédiaire
49 # (pour un serveur qui ne peut pas être contacté directement)
56 Host cerebro.crans.org cerebro
57 HostName cerebro.crans.org
61 Host eva.crans.org eva eeepc
62 HostName eva.crans.org
80 ProxyCommand ssh home.b2moo.fr -W %h:%p
86 ProxyCommand ssh home.b2moo.fr -W %h:%p
88 Host cabal.crans.org cabal.crans
89 HostName cabal.crans.org
103 Host cabal.home cabal
104 HostName 192.168.1.81
107 ProxyCommand ssh home.b2moo.fr -W %h:%p
109 Host cabalw.home cabalw
110 HostName 192.168.1.63
113 ProxyCommand ssh home.b2moo.fr -W %h:%p
115 Host viki viki.wifi viki.wifi.crans.org
116 HostName viki.wifi.crans.org
120 Host gladys home colloc home.b2moo.fr
121 HostName home.b2moo.fr
126 HostName 192.168.1.18
130 # Les bots sur cerebro
132 HostName cerebro.crans.org
136 HostName cerebro.crans.org
140 HostName cerebro.crans.org
144 HostName cerebro.crans.org
148 HostName cerebro.crans.org
151 Host salesman Salesman
152 HostName cerebro.crans.org
156 HostName cerebro.crans.org
159 Host saturnin Saturnin
160 HostName cerebro.crans.org
164 HostName cerebro.crans.org
172 # Serveur dédié online.net
173 # pimeys.fr = 62.210.178.115
175 Host pimeys pimeys.fr becue.eu
181 # +-----------------+
182 # | Machines du BDE |
183 # +-----------------+
184 # Parce que j'étais respo-info Makiavé[list]
186 Host kfet kfet.crans.org
187 HostName kfet.crans.org
193 Host kfet-secours kfet-secours.crans.org
194 HostName kfet-secours.crans.org
199 Host kfet2 kfet2.crans.org
200 HostName kfet2.crans.org
203 Host bde-test note-test bde-test.crans.org note-test.crans.org
204 HostName bde-test.crans.org
208 Host ldap-bde bde2 bde-fallback bde2.crans.org ldap-bde.crans.org bde-fallback.crans.org
209 HostName bde2.crans.org
213 Host bde3 bde3.crans.org
214 HostName bde3.crans.org
218 Host note bde2-virt bde note.crans.ort bde2-virt.crans.org bde.crans.org
219 HostName bde2-virt.crans.org
223 Host note bde3-virt bde note.crans.ort bde3-virt.crans.org bde.crans.org
224 HostName bde3-virt.crans.org
228 Host video videobde videobde.crans.org
229 HostName videobde.crans.org
233 Host bureau bureau-bde bureau-bde.crans.org
234 HostName bureau-bde.crans.org
237 Host med zavoyarde med.crans.org zavoyarde.crans.org
238 HostName zavoyarde.crans.org
244 # Parce que j'y suis le bienvenu
246 Host linkki linkki.crans.org
247 HostName linkki.crans.org
250 Host ilma ilma.wifi ilma.wifi.crans.org
251 HostName ilma.wifi.crans.org
254 Host ruoska ruoska.crans.org
255 HostName ruoska.crans.org
262 # Parce que j'y suis le bienvenu
264 # Le ftp de Nit, gère A♡-TV.
265 Host power power.crans.org nit-git nit-git.crans.org
266 HostName power.crans.org
269 # Réplicat du wikoeur
270 Host genua acoeur.genua.fr
271 HostName acoeur.genua.fr
278 # Parce que le département A♡ a un serveur
280 Host acoeur acoeur.crans.org
281 HostName acoeur.crans.org
285 # +-------------------+
286 # | Serveurs du Cr@ns |
287 # +-------------------+
288 # Accessible aux apprentis
289 # sauf zamok et ssh2, accessibles à tous les adhérents
291 Host alice alice.crans.org
292 HostName alice.crans.org
296 Host alice.adm alice.adm.crans.org
297 HostName alice.adm.crans.org
301 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
302 HostName appartement.crans.org
306 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
307 HostName apprentis.crans.org
310 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
311 HostName asterisk.crans.org
315 Host asterisk.adm asterisk.adm.crans.org
316 HostName asterisk.adm.crans.org
320 Host backbone backbone.crans.org
321 HostName backbone.crans.org
325 Host backbone.adm backbone.adm.crans.org
326 HostName backbone.adm.crans.org
330 Host backbone.wifi backbone.wifi.crans.org
331 HostName backbone.wifi.crans.org
335 Host batk-0 batk-0.crans.org
336 HostName batk-0.crans.org
339 Host cas auth login cas.crans.org login.crans.org auth.crans.org
340 HostName cas.crans.org
344 Host cas.adm cas.adm.crans.org
345 HostName cas.adm.crans.org
349 Host charybde darcs ftp ftp.crans.ens-cachan.fr karibe mirror ntp xn--hxamgu1bpkn charybde.crans.org karibe.crans.org xn--hxamgu1bpkn.crans.org ftp.crans.org mirror.crans.org ftp.crans.ens-cachan.fr ntp.crans.org darcs.crans.org
350 HostName charybde.crans.org
354 Host charybde.adm ftp.adm mirror.adm ntp.adm charybde.adm.crans.org ftp.adm.crans.org mirror.adm.crans.org ntp.adm.crans.org
355 HostName charybde.adm.crans.org
359 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
360 HostName civet.crans.org
364 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
365 HostName civet.adm.crans.org
369 Host cochon.adm cochon.adm.crans.org
370 HostName cochon.adm.crans.org
374 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
375 HostName cochon.ferme.crans.org
379 Host cups cups.crans.org
380 HostName cups.crans.org
384 Host cups.adm cups.adm.crans.org
385 HostName cups.adm.crans.org
389 Host dhcp dhcp.crans.org
390 HostName dhcp.crans.org
394 Host dhcp-21 dhcp-21.crans.org
395 HostName dhcp-21.crans.org
399 Host dhcp.adm dhcp.adm.crans.org
400 HostName dhcp.adm.crans.org
404 Host dyson dyson.crans.org
405 HostName dyson.crans.org
409 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
410 HostName dyson.adm.crans.org
414 Host ethercalc ethercalc.crans.org
415 HostName ethercalc.crans.org
419 Host ethercalc.adm ethercalc.adm.crans.org
420 HostName ethercalc.adm.crans.org
424 Host freebox freebox.crans.org
425 HostName freebox.crans.org
430 HostName ft.crans.org
434 Host ft.adm ft.adm.crans.org
435 HostName ft.adm.crans.org
439 Host fy munin fy.crans.org munin.crans.org
440 HostName fy.crans.org
444 Host fy.adm fy.adm.crans.org
445 HostName fy.adm.crans.org
450 HostName fz.crans.org
454 Host fz.adm fz.adm.crans.org
455 HostName fz.adm.crans.org
459 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
460 HostName geet.crans.org
464 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
465 HostName geet.adm.crans.org
469 Host horde webmail horde.crans.org webmail.crans.org
470 HostName horde.crans.org
474 Host horde.adm horde.adm.crans.org
475 HostName horde.adm.crans.org
479 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
480 HostName irc.crans.org
484 Host irc.adm irc.adm.crans.org
485 HostName irc.adm.crans.org
489 Host isc isc.crans.org
490 HostName isc.crans.org
494 Host isc.adm isc.adm.crans.org
495 HostName isc.adm.crans.org
499 Host kdell kdell.crans.org
500 HostName kdell.crans.org
504 Host kdell.adm kdell.adm.crans.org
505 HostName kdell.adm.crans.org
509 Host kenobi infinoted kenobby laval obby pad pastebin zero kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org pad.crans.org zero.crans.org pastebin.crans.org
510 HostName kenobi.crans.org
514 Host kenobi.adm kenobi.adm.crans.org
515 HostName kenobi.adm.crans.org
519 Host komaz komaz.crans.org
520 HostName komaz.crans.org
524 Host komaz-21 komaz-21.crans.org
525 HostName komaz-21.crans.org
529 Host komaz.adm komaz.adm.crans.org
530 HostName komaz.adm.crans.org
534 Host malloc malloc.crans.org
535 HostName malloc.crans.org
539 Host malloc.adm malloc.adm.crans.org
540 HostName malloc.adm.crans.org
544 Host mediadrop video mediadrop.crans.org video.crans.org
545 HostName mediadrop.crans.org
549 Host mediadrop.adm mediadrop.adm.crans.org
550 HostName mediadrop.adm.crans.org
554 Host nat64 nat64.crans.org
555 HostName nat64.crans.org
559 Host nat64.adm nat64.adm.crans.org
560 HostName nat64.adm.crans.org
564 Host nem nem.crans.org
565 HostName nem.crans.org
569 Host nem.adm nem.adm.crans.org
570 HostName nem.adm.crans.org
574 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
575 HostName news.crans.org
579 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
580 HostName news.adm.crans.org
584 Host niomniom 15ans autoconfig autostatus ca crans.ens-cachan.fr crans.org doc i-p install-party map webalizer wifi wiki wikipedia www www.15ans niomniom.crans.org wiki.crans.org www.crans.org install-party.crans.org autostatus.crans.org wifi.crans.org i-p.crans.org crans.org crans.ens-cachan.fr ca.crans.org webalizer.crans.org doc.crans.org map.crans.org wikipedia.crans.org 15ans.crans.org www.15ans.crans.org autoconfig.crans.org
585 HostName niomniom.crans.org
589 Host niomniom.adm niomniom.adm.crans.org
590 HostName niomniom.adm.crans.org
594 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
595 HostName o2.crans.org
599 Host o2.adm o2.adm.crans.org
600 HostName o2.adm.crans.org
604 Host odlyd odlyd.crans.org
605 HostName odlyd.crans.org
609 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
610 HostName odlyd.adm.crans.org
614 Host odlyd.wifi odlyd.wifi.crans.org
615 HostName odlyd.wifi.crans.org
619 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
620 HostName oie.crans.org
624 Host oie.adm oie.adm.crans.org
625 HostName oie.adm.crans.org
629 Host omnomnom omnomnom.crans.org
630 HostName omnomnom.crans.org
634 Host omnomnom.adm omnomnom.adm.crans.org
635 HostName omnomnom.adm.crans.org
639 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
640 HostName owl.crans.org
644 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
645 HostName owl.adm.crans.org
649 Host owncloud owncloud.crans.org
650 HostName owncloud.crans.org
654 Host owncloud.adm owncloud.adm.crans.org
655 HostName owncloud.adm.crans.org
659 Host pea pea.crans.org
660 HostName pea.crans.org
664 Host pea.adm pea.adm.crans.org
665 HostName pea.adm.crans.org
669 Host pegase pegase.crans.org
670 HostName pegase.crans.org
674 Host puppet puppet.crans.org
675 HostName puppet.crans.org
679 Host puppet.adm puppet.adm.crans.org
680 HostName puppet.adm.crans.org
684 Host redisdead list liste listes lists smtp redisdead.crans.org lists.crans.org smtp.crans.org liste.crans.org listes.crans.org list.crans.org
685 HostName redisdead.crans.org
689 Host redisdead.adm list.adm liste.adm listes.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org listes.adm.crans.org list.adm.crans.org liste.adm.crans.org
690 HostName redisdead.adm.crans.org
694 Host rezosup rezosup.crans.org
695 HostName rezosup.crans.org
699 Host roundcube roundcube.crans.org
700 HostName roundcube.crans.org
704 Host roundcube.adm roundcube.adm.crans.org
705 HostName roundcube.adm.crans.org
709 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
710 HostName routeur.crans.org
714 Host routeur-21 routeur-21.crans.org
715 HostName routeur-21.crans.org
719 Host routeur.adm routeur.adm.crans.org
720 HostName routeur.adm.crans.org
724 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
725 HostName sable.crans.org
729 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
730 HostName sable.adm.crans.org
734 Host sogo sogo.crans.org
735 HostName sogo.crans.org
739 Host sogo.adm sogo.adm.crans.org
740 HostName sogo.adm.crans.org
744 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
745 HostName soyouz.crans.org
749 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
750 HostName soyouz.adm.crans.org
754 Host ssh2 mosh ssh2.crans.org mosh.crans.org
755 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
756 # pour passer à travers les blocages de ports (443 = https)
757 HostName 138.231.136.2
762 Host stun-secondary stun-secondary.crans.org
763 HostName stun-secondary.crans.org
767 Host template template.crans.org
768 HostName template.crans.org
772 Host template.adm template.adm.crans.org
773 HostName template.adm.crans.org
777 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
778 HostName thot.crans.org
782 Host thot.adm logs.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org logs.adm.crans.org
783 HostName thot.adm.crans.org
787 Host titanic titanic.crans.org
788 HostName titanic.crans.org
792 Host titanic.adm titanic.adm.crans.org
793 HostName titanic.adm.crans.org
797 Host tracker todo tracker.crans.org todo.crans.org
798 HostName tracker.crans.org
802 Host tracker.adm tracker.adm.crans.org
803 HostName tracker.adm.crans.org
807 Host vo calendrier intranet-dev news-dev openid-dev weavesync vo.crans.org weavesync.crans.org intranet-dev.crans.org calendrier.crans.org openid-dev.crans.org news-dev.crans.org
808 HostName vo.crans.org
812 Host vo-eth0 vo-eth0.crans.org
813 HostName vo-eth0.crans.org
817 Host vo.adm vo.adm.crans.org
818 HostName vo.adm.crans.org
822 Host xmpp aim chat.yahoo conference conference.jabber icq jabber yahoo xmpp.crans.org icq.crans.org aim.crans.org conference.crans.org jabber.crans.org yahoo.crans.org chat.yahoo.crans.org conference.jabber.crans.org
823 HostName xmpp.crans.org
827 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
828 HostName xmpp.adm.crans.org
832 Host ytrap-llatsni ytrap-llatsni.crans.org
833 HostName ytrap-llatsni.crans.org
837 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
838 HostName ytrap-llatsni.adm.crans.org
842 Host zamok accounts ajaxterm bda-paris bde bleu blogs clubs clubs.ens-cachan.fr factures impression intranet mysql perso pot-vieux ssh www.clubs.ens-cachan.fr zamok.crans.org ssh.crans.org impression.crans.org perso.crans.org clubs.ens-cachan.fr www.clubs.ens-cachan.fr mysql.crans.org bleu.crans.org intranet.crans.org blogs.crans.org bda-paris.crans.org factures.crans.org accounts.crans.org ajaxterm.crans.org clubs.crans.org pot-vieux.crans.org
843 HostName zamok.crans.org
847 Host zamok.adm bleu.adm impression.adm users.adm zamok.adm.crans.org bleu.adm.crans.org impression.adm.crans.org users.adm.crans.org
848 HostName zamok.adm.crans.org
853 # +-------------------------+
854 # | Serveurs Cr@ns adm-only |
855 # +-------------------------+
856 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
857 # d'où la ProxyCommand
859 Host babar.adm babar babar babar.adm.crans.org
860 HostName babar.adm.crans.org
863 ProxyCommand ssh sable.crans.org -W %h:%p
865 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
866 HostName bcfg2.adm.crans.org
869 ProxyCommand ssh sable.crans.org -W %h:%p
871 Host eap.adm eap eap eap.adm.crans.org
872 HostName eap.adm.crans.org
875 ProxyCommand ssh sable.crans.org -W %h:%p
877 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
878 HostName kdell-idrac.adm.crans.org
880 ProxyCommand ssh sable.crans.org -W %h:%p
883 HostName %h.adm.crans.org
885 PasswordAuthentication yes
886 ChallengeResponseAuthentication no
887 GSSAPIAuthentication no
888 HostbasedAuthentication no
889 PubkeyAuthentication no
894 KexAlgorithms diffie-hellman-group1-sha1
895 MACs hmac-md5,hmac-sha1
896 Ciphers aes128-cbc,3des-cbc
897 HostKeyAlgorithms ssh-rsa,ssh-dss
898 ProxyCommand ssh sable.crans.org -W %h:%p
900 Host radius.adm radius radius radius.adm.crans.org
901 HostName radius.adm.crans.org
904 ProxyCommand ssh sable.crans.org -W %h:%p
906 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
907 HostName sable-ilo.adm.crans.org
910 ProxyCommand ssh sable.crans.org -W %h:%p
911 HostKeyAlgorithms ssh-rsa
913 Host slon.adm slon slon slon.adm.crans.org
914 HostName slon.adm.crans.org
917 ProxyCommand ssh sable.crans.org -W %h:%p
919 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
920 HostName vert.adm.crans.org
923 ProxyCommand ssh sable.crans.org -W %h:%p
925 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
926 HostName zbee-idrac.adm.crans.org
929 ProxyCommand ssh sable.crans.org -W %h:%p
931 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
932 HostName zbee.adm.crans.org
935 ProxyCommand ssh sable.crans.org -W %h:%p
941 # Accessibles aux membres de l'équipe d'admin de FedeRez
943 # Actuellement down, mais on ne sait jamais
944 Host nautilus nautilus.federez.net
945 HostName nautilus.federez.net
949 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
950 HostName baldrick.federez.net
954 Host quigon quigon.federez.net
955 HostName quigon.federez.net
959 Host polygon polygon.federez.net
960 HostName polygon.federez.net
964 Host hexagon hexagon.federez.net
965 HostName hexagon.federez.net
973 # Réseau IRC des grandes écoles
975 Host oswaft oswaft.rezosup.net
976 HostName oswaft.rezosup.net
980 # +-------------------+
981 # | Serveurs de l'ENS |
982 # +-------------------+
983 # Accessibles aux élèves de l'ENS
985 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
986 HostName tselin.clietu.ens-cachan.fr
988 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
991 HostName tselin2.clietu.ens-cachan.fr
993 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
995 Host tahines.ens-cachan.fr tahines2 tahines
996 HostName tahines.ens-cachan.fr
1000 # +------------------+
1001 # | Département info |
1002 # +------------------+
1003 # Machines du département informatique de l'ENSC
1006 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1007 #HostName 138.231.36.60
1008 HostName ssh.dptinfo.ens-cachan.fr
1012 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1013 # Sinon on crée une boucle
1014 Host *.dptinfo !ssh.dptinfo
1015 HostName %h.ens-cachan.fr
1017 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1020 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1023 ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
1031 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1032 HostName mars.lbpa.ens-cachan.fr
1034 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1041 # Homes montées mais != passerelle
1042 Host lri acces.lri ssh.lri acces.lri.fr
1043 HostName acces.lri.fr
1047 # Passerelle d'entrée, utilisable que par clé
1048 Host pl-ssh pl-ssh.lri.fr
1049 HostName pl-ssh.lri.fr
1050 PasswordAuthentication no
1054 Host labo lri30-13 lri30-13.lri.fr
1055 HostName lri30-13.lri.fr
1058 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1060 Host hal hal.labo 129.175.30.228
1061 HostName 129.175.30.228
1064 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1066 # END (utile pour éviter les merge conflicts)