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)
51 UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_hosts_dptinfo
57 Host cerebro.crans.org cerebro
58 HostName cerebro.crans.org
62 Host eva.crans.org eva eeepc
63 HostName eva.crans.org
81 ProxyCommand ssh home.b2moo.fr -W %h:%p
87 ProxyCommand ssh home.b2moo.fr -W %h:%p
89 Host cabal.crans.org cabal.crans
90 HostName cabal.crans.org
100 HostName 192.168.1.63
104 Host cabal.home cabal
105 HostName 192.168.1.81
108 ProxyCommand ssh home.b2moo.fr -W %h:%p
110 Host cabalw.home cabalw
111 HostName 192.168.1.63
114 ProxyCommand ssh home.b2moo.fr -W %h:%p
116 Host viki viki.wifi viki.wifi.crans.org
117 HostName viki.wifi.crans.org
121 Host gladys home colloc home.b2moo.fr
122 HostName home.b2moo.fr
127 HostName 192.168.1.18
131 # Les bots sur cerebro
133 HostName cerebro.crans.org
137 HostName cerebro.crans.org
141 HostName cerebro.crans.org
145 HostName cerebro.crans.org
149 HostName cerebro.crans.org
152 Host salesman Salesman
153 HostName cerebro.crans.org
157 HostName cerebro.crans.org
160 Host saturnin Saturnin
161 HostName cerebro.crans.org
165 HostName cerebro.crans.org
173 # Serveur dédié online.net
174 # pimeys.fr = 62.210.178.115
176 Host pimeys pimeys.fr becue.eu
182 # +-----------------+
183 # | Machines du BDE |
184 # +-----------------+
185 # Parce que j'étais respo-info Makiavé[list]
187 Host kfet kfet.crans.org
188 HostName kfet.crans.org
194 Host kfet-secours kfet-secours.crans.org
195 HostName kfet-secours.crans.org
200 Host kfet2 kfet2.crans.org
201 HostName kfet2.crans.org
204 Host bde-test note-test bde-test.crans.org note-test.crans.org
205 HostName bde-test.crans.org
209 Host bde2 bde-fallback bde2.crans.org ldap-bde.crans.org bde-fallback.crans.org
210 HostName bde2.crans.org
214 Host bde3 bde3.crans.org
215 HostName bde3.crans.org
219 Host note bde2-virt bde ldap-bde note.crans.ort bde2-virt.crans.org bde.crans.org
220 HostName bde2-virt.crans.org
224 Host note bde3-virt bde note.crans.ort bde3-virt.crans.org bde.crans.org
225 HostName bde3-virt.crans.org
229 Host video videobde videobde.crans.org
230 HostName videobde.crans.org
234 Host bureau bureau-bde bureau-bde.crans.org
235 HostName bureau-bde.crans.org
238 Host med zavoyarde med.crans.org zavoyarde.crans.org
239 HostName zavoyarde.crans.org
245 # Parce que j'y suis le bienvenu
247 Host linkki linkki.crans.org
248 HostName linkki.crans.org
251 Host ilma ilma.wifi ilma.wifi.crans.org
252 HostName ilma.wifi.crans.org
255 Host ruoska ruoska.crans.org
256 HostName ruoska.crans.org
263 # Parce que j'y suis le bienvenu
265 # Le ftp de Nit, gère A♡-TV.
266 Host power power.crans.org nit-git nit-git.crans.org
267 HostName power.crans.org
270 # Réplicat du wikoeur
271 Host genua acoeur.genua.fr
272 HostName acoeur.genua.fr
279 # Parce que le département A♡ a un serveur
281 Host acoeur acoeur.crans.org
282 HostName acoeur.crans.org
286 # +-------------------+
287 # | Serveurs du Cr@ns |
288 # +-------------------+
289 # Accessible aux apprentis
290 # sauf zamok et ssh2, accessibles à tous les adhérents
292 Host alice alice.crans.org
293 HostName alice.crans.org
297 Host alice.adm alice.adm.crans.org
298 HostName alice.adm.crans.org
302 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
303 HostName appartement.crans.org
307 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
308 HostName apprentis.crans.org
311 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
312 HostName asterisk.crans.org
316 Host asterisk.adm asterisk.adm.crans.org
317 HostName asterisk.adm.crans.org
321 Host backbone backbone.crans.org
322 HostName backbone.crans.org
326 Host backbone.adm backbone.adm.crans.org
327 HostName backbone.adm.crans.org
331 Host backbone.wifi backbone.wifi.crans.org
332 HostName backbone.wifi.crans.org
336 Host batk-0 batk-0.crans.org
337 HostName batk-0.crans.org
340 Host cas auth login cas.crans.org login.crans.org auth.crans.org
341 HostName cas.crans.org
345 Host cas.adm cas.adm.crans.org
346 HostName cas.adm.crans.org
350 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
351 HostName charybde.crans.org
355 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
356 HostName charybde.adm.crans.org
360 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
361 HostName civet.crans.org
365 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
366 HostName civet.adm.crans.org
370 Host cochon.adm cochon.adm.crans.org
371 HostName cochon.adm.crans.org
375 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
376 HostName cochon.ferme.crans.org
380 Host cups cups.crans.org
381 HostName cups.crans.org
385 Host cups.adm cups.adm.crans.org
386 HostName cups.adm.crans.org
390 Host dhcp dhcp.crans.org
391 HostName dhcp.crans.org
395 Host dhcp-21 dhcp-21.crans.org
396 HostName dhcp-21.crans.org
400 Host dhcp.adm dhcp.adm.crans.org
401 HostName dhcp.adm.crans.org
405 Host dyson dyson.crans.org
406 HostName dyson.crans.org
410 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
411 HostName dyson.adm.crans.org
415 Host ethercalc ethercalc.crans.org
416 HostName ethercalc.crans.org
420 Host ethercalc.adm ethercalc.adm.crans.org
421 HostName ethercalc.adm.crans.org
425 Host freebox freebox.crans.org
426 HostName freebox.crans.org
431 HostName ft.crans.org
435 Host ft.adm ft.adm.crans.org
436 HostName ft.adm.crans.org
440 Host fy munin fy.crans.org munin.crans.org
441 HostName fy.crans.org
445 Host fy.adm fy.adm.crans.org
446 HostName fy.adm.crans.org
451 HostName fz.crans.org
455 Host fz.adm fz.adm.crans.org
456 HostName fz.adm.crans.org
460 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
461 HostName geet.crans.org
465 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
466 HostName geet.adm.crans.org
470 Host horde webmail horde.crans.org webmail.crans.org
471 HostName horde.crans.org
475 Host horde.adm horde.adm.crans.org
476 HostName horde.adm.crans.org
480 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
481 HostName irc.crans.org
485 Host irc.adm irc.adm.crans.org
486 HostName irc.adm.crans.org
490 Host isc isc.crans.org
491 HostName isc.crans.org
495 Host isc.adm isc.adm.crans.org
496 HostName isc.adm.crans.org
500 Host kdell kdell.crans.org
501 HostName kdell.crans.org
505 Host kdell.adm kdell.adm.crans.org
506 HostName kdell.adm.crans.org
510 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
511 HostName kenobi.crans.org
515 Host kenobi.adm kenobi.adm.crans.org
516 HostName kenobi.adm.crans.org
520 Host komaz komaz.crans.org
521 HostName komaz.crans.org
525 Host komaz-21 komaz-21.crans.org
526 HostName komaz-21.crans.org
530 Host komaz.adm komaz.adm.crans.org
531 HostName komaz.adm.crans.org
535 Host malloc malloc.crans.org
536 HostName malloc.crans.org
540 Host malloc.adm malloc.adm.crans.org
541 HostName malloc.adm.crans.org
545 Host mediadrop video mediadrop.crans.org video.crans.org
546 HostName mediadrop.crans.org
550 Host mediadrop.adm mediadrop.adm.crans.org
551 HostName mediadrop.adm.crans.org
555 Host nat64 nat64.crans.org
556 HostName nat64.crans.org
560 Host nat64.adm nat64.adm.crans.org
561 HostName nat64.adm.crans.org
565 Host nem nem.crans.org
566 HostName nem.crans.org
570 Host nem.adm nem.adm.crans.org
571 HostName nem.adm.crans.org
575 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
576 HostName news.crans.org
580 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
581 HostName news.adm.crans.org
585 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
586 HostName niomniom.crans.org
590 Host niomniom.adm niomniom.adm.crans.org
591 HostName niomniom.adm.crans.org
595 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
596 HostName o2.crans.org
600 Host o2.adm o2.adm.crans.org
601 HostName o2.adm.crans.org
605 Host odlyd odlyd.crans.org
606 HostName odlyd.crans.org
610 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
611 HostName odlyd.adm.crans.org
615 Host odlyd.wifi odlyd.wifi.crans.org
616 HostName odlyd.wifi.crans.org
620 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
621 HostName oie.crans.org
625 Host oie.adm oie.adm.crans.org
626 HostName oie.adm.crans.org
630 Host omnomnom omnomnom.crans.org
631 HostName omnomnom.crans.org
635 Host omnomnom.adm omnomnom.adm.crans.org
636 HostName omnomnom.adm.crans.org
640 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
641 HostName owl.crans.org
645 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
646 HostName owl.adm.crans.org
650 Host owncloud owncloud.crans.org
651 HostName owncloud.crans.org
655 Host owncloud.adm owncloud.adm.crans.org
656 HostName owncloud.adm.crans.org
660 Host pea pea.crans.org
661 HostName pea.crans.org
665 Host pea.adm pea.adm.crans.org
666 HostName pea.adm.crans.org
670 Host pegase pegase.crans.org
671 HostName pegase.crans.org
675 Host puppet puppet.crans.org
676 HostName puppet.crans.org
680 Host puppet.adm puppet.adm.crans.org
681 HostName puppet.adm.crans.org
685 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
686 HostName redisdead.crans.org
690 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
691 HostName redisdead.adm.crans.org
695 Host rezosup rezosup.crans.org
696 HostName rezosup.crans.org
700 Host roundcube roundcube.crans.org
701 HostName roundcube.crans.org
705 Host roundcube.adm roundcube.adm.crans.org
706 HostName roundcube.adm.crans.org
710 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
711 HostName routeur.crans.org
715 Host routeur-21 routeur-21.crans.org
716 HostName routeur-21.crans.org
720 Host routeur.adm routeur.adm.crans.org
721 HostName routeur.adm.crans.org
725 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
726 HostName sable.crans.org
730 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
731 HostName sable.adm.crans.org
735 Host sogo sogo.crans.org
736 HostName sogo.crans.org
740 Host sogo.adm sogo.adm.crans.org
741 HostName sogo.adm.crans.org
745 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
746 HostName soyouz.crans.org
750 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
751 HostName soyouz.adm.crans.org
755 Host ssh2 mosh ssh2.crans.org mosh.crans.org
756 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
757 # pour passer à travers les blocages de ports (443 = https)
758 HostName 138.231.136.2
763 Host stun-secondary stun-secondary.crans.org
764 HostName stun-secondary.crans.org
768 Host template template.crans.org
769 HostName template.crans.org
773 Host template.adm template.adm.crans.org
774 HostName template.adm.crans.org
778 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
779 HostName thot.crans.org
783 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
784 HostName thot.adm.crans.org
788 Host titanic titanic.crans.org
789 HostName titanic.crans.org
793 Host titanic.adm titanic.adm.crans.org
794 HostName titanic.adm.crans.org
798 Host tracker todo tracker.crans.org todo.crans.org
799 HostName tracker.crans.org
803 Host tracker.adm tracker.adm.crans.org
804 HostName tracker.adm.crans.org
808 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
809 HostName vo.crans.org
813 Host vo-eth0 vo-eth0.crans.org
814 HostName vo-eth0.crans.org
818 Host vo.adm vo.adm.crans.org
819 HostName vo.adm.crans.org
823 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
824 HostName xmpp.crans.org
828 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
829 HostName xmpp.adm.crans.org
833 Host ytrap-llatsni ytrap-llatsni.crans.org
834 HostName ytrap-llatsni.crans.org
838 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
839 HostName ytrap-llatsni.adm.crans.org
843 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
844 HostName zamok.crans.org
848 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
849 HostName zamok.adm.crans.org
854 # +-------------------------+
855 # | Serveurs Cr@ns adm-only |
856 # +-------------------------+
857 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
858 # d'où la ProxyCommand
860 Host babar.adm babar babar babar.adm.crans.org
861 HostName babar.adm.crans.org
864 ProxyCommand ssh sable.crans.org -W %h:%p
866 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
867 HostName bcfg2.adm.crans.org
870 ProxyCommand ssh sable.crans.org -W %h:%p
872 Host eap.adm eap eap eap.adm.crans.org
873 HostName eap.adm.crans.org
876 ProxyCommand ssh sable.crans.org -W %h:%p
878 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
879 HostName kdell-idrac.adm.crans.org
881 ProxyCommand ssh sable.crans.org -W %h:%p
884 HostName %h.adm.crans.org
886 PasswordAuthentication yes
887 ChallengeResponseAuthentication no
888 GSSAPIAuthentication no
889 HostbasedAuthentication no
890 PubkeyAuthentication no
895 KexAlgorithms diffie-hellman-group1-sha1
896 MACs hmac-md5,hmac-sha1
897 Ciphers aes128-cbc,3des-cbc
898 HostKeyAlgorithms ssh-rsa,ssh-dss
899 ProxyCommand ssh sable.crans.org -W %h:%p
901 Host radius.adm radius radius radius.adm.crans.org
902 HostName radius.adm.crans.org
905 ProxyCommand ssh sable.crans.org -W %h:%p
907 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
908 HostName sable-ilo.adm.crans.org
911 ProxyCommand ssh sable.crans.org -W %h:%p
912 HostKeyAlgorithms ssh-rsa
914 Host slon.adm slon slon slon.adm.crans.org
915 HostName slon.adm.crans.org
918 ProxyCommand ssh sable.crans.org -W %h:%p
920 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
921 HostName vert.adm.crans.org
924 ProxyCommand ssh sable.crans.org -W %h:%p
926 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
927 HostName zbee-idrac.adm.crans.org
930 ProxyCommand ssh sable.crans.org -W %h:%p
932 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
933 HostName zbee.adm.crans.org
936 ProxyCommand ssh sable.crans.org -W %h:%p
942 # Accessibles aux membres de l'équipe d'admin de FedeRez
944 # Actuellement down, mais on ne sait jamais
945 Host nautilus nautilus.federez.net
946 HostName nautilus.federez.net
950 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
951 HostName baldrick.federez.net
955 Host quigon quigon.federez.net
956 HostName quigon.federez.net
960 Host polygon polygon.federez.net
961 HostName polygon.federez.net
965 Host hexagon hexagon.federez.net
966 HostName hexagon.federez.net
974 # Réseau IRC des grandes écoles
976 Host oswaft oswaft.rezosup.net
977 HostName oswaft.rezosup.net
981 # +-------------------+
982 # | Serveurs de l'ENS |
983 # +-------------------+
984 # Accessibles aux élèves de l'ENS
986 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
987 HostName tselin.clietu.ens-cachan.fr
989 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
992 HostName tselin2.clietu.ens-cachan.fr
994 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
996 Host tahines.ens-cachan.fr tahines2 tahines
997 HostName tahines.ens-cachan.fr
1001 # +------------------+
1002 # | Département info |
1003 # +------------------+
1004 # Machines du département informatique de l'ENSC
1007 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1008 #HostName 138.231.36.60
1009 HostName ssh.dptinfo.ens-cachan.fr
1013 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1014 # Sinon on crée une boucle
1015 Host *.dptinfo !ssh.dptinfo
1016 HostName %h.ens-cachan.fr
1018 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1021 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1024 ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
1032 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1033 HostName mars.lbpa.ens-cachan.fr
1035 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1042 # Homes montées mais != passerelle
1043 Host lri acces.lri ssh.lri acces.lri.fr
1044 HostName acces.lri.fr
1048 # Passerelle d'entrée, utilisable que par clé
1049 Host pl-ssh pl-ssh.lri.fr
1050 HostName pl-ssh.lri.fr
1051 PasswordAuthentication no
1055 Host labo lri30-13 lri30-13.lri.fr
1056 HostName lri30-13.lri.fr
1059 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1061 Host hal hal.labo 129.175.30.228
1062 HostName 129.175.30.228
1065 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1067 # END (utile pour éviter les merge conflicts)