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 identé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 ont se connecte dans
26 # le fichier known_hosts
29 # Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
30 # et de la fingerprint présentée 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 video videobde videobde.crans.org
224 HostName videobde.crans.org
228 Host bureau bureau-bde bureau-bde.crans.org
229 HostName bureau-bde.crans.org
232 Host med zavoyarde med.crans.org zavoyarde.crans.org
233 HostName zavoyarde.crans.org
239 # Parce que j'y suis le bienvenu
241 Host linkki linkki.crans.org
242 HostName linkki.crans.org
245 Host ilma ilma.wifi ilma.wifi.crans.org
246 HostName ilma.wifi.crans.org
249 Host ruoska ruoska.crans.org
250 HostName ruoska.crans.org
257 # Parce que j'y suis le bienvenu
259 # Le ftp de Nit, gère A♡-TV.
260 Host power power.crans.org nit-git nit-git.crans.org
261 HostName power.crans.org
264 # Réplicat du wikoeur
265 Host genua acoeur.genua.fr
266 HostName acoeur.genua.fr
273 # Parce que le département A♡ a un serveur
275 Host acoeur acoeur.crans.org
276 HostName acoeur.crans.org
280 # +-------------------+
281 # | Serveurs du Cr@ns |
282 # +-------------------+
283 # Accessible aux apprentis
284 # sauf zamok et ssh2, accessibles à tous les adhérents
286 Host alice alice.crans.org
287 HostName alice.crans.org
291 Host alice.adm alice.adm.crans.org
292 HostName alice.adm.crans.org
296 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
297 HostName appartement.crans.org
301 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
302 HostName apprentis.crans.org
305 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
306 HostName asterisk.crans.org
310 Host asterisk.adm asterisk.adm.crans.org
311 HostName asterisk.adm.crans.org
315 Host backbone backbone.crans.org
316 HostName backbone.crans.org
320 Host backbone.adm backbone.adm.crans.org
321 HostName backbone.adm.crans.org
325 Host backbone.wifi backbone.wifi.crans.org
326 HostName backbone.wifi.crans.org
330 Host batk-0 batk-0.crans.org
331 HostName batk-0.crans.org
334 Host cas auth login cas.crans.org login.crans.org auth.crans.org
335 HostName cas.crans.org
339 Host cas.adm cas.adm.crans.org
340 HostName cas.adm.crans.org
344 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
345 HostName charybde.crans.org
349 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
350 HostName charybde.adm.crans.org
354 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
355 HostName civet.crans.org
359 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
360 HostName civet.adm.crans.org
364 Host cochon.adm cochon.adm.crans.org
365 HostName cochon.adm.crans.org
369 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
370 HostName cochon.ferme.crans.org
374 Host cups cups.crans.org
375 HostName cups.crans.org
379 Host cups.adm cups.adm.crans.org
380 HostName cups.adm.crans.org
384 Host dhcp dhcp.crans.org
385 HostName dhcp.crans.org
389 Host dhcp-21 dhcp-21.crans.org
390 HostName dhcp-21.crans.org
394 Host dhcp.adm dhcp.adm.crans.org
395 HostName dhcp.adm.crans.org
399 Host dyson dyson.crans.org
400 HostName dyson.crans.org
404 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
405 HostName dyson.adm.crans.org
409 Host ethercalc ethercalc.crans.org
410 HostName ethercalc.crans.org
414 Host ethercalc.adm ethercalc.adm.crans.org
415 HostName ethercalc.adm.crans.org
419 Host freebox freebox.crans.org
420 HostName freebox.crans.org
425 HostName ft.crans.org
429 Host ft.adm ft.adm.crans.org
430 HostName ft.adm.crans.org
434 Host fy munin fy.crans.org munin.crans.org
435 HostName fy.crans.org
439 Host fy.adm fy.adm.crans.org
440 HostName fy.adm.crans.org
445 HostName fz.crans.org
449 Host fz.adm fz.adm.crans.org
450 HostName fz.adm.crans.org
454 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
455 HostName geet.crans.org
459 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
460 HostName geet.adm.crans.org
464 Host horde webmail horde.crans.org webmail.crans.org
465 HostName horde.crans.org
469 Host horde.adm horde.adm.crans.org
470 HostName horde.adm.crans.org
474 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
475 HostName irc.crans.org
479 Host irc.adm irc.adm.crans.org
480 HostName irc.adm.crans.org
484 Host isc isc.crans.org
485 HostName isc.crans.org
489 Host isc.adm isc.adm.crans.org
490 HostName isc.adm.crans.org
494 Host kdell kdell.crans.org
495 HostName kdell.crans.org
499 Host kdell.adm kdell.adm.crans.org
500 HostName kdell.adm.crans.org
504 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
505 HostName kenobi.crans.org
509 Host kenobi.adm kenobi.adm.crans.org
510 HostName kenobi.adm.crans.org
514 Host komaz komaz.crans.org
515 HostName komaz.crans.org
519 Host komaz-21 komaz-21.crans.org
520 HostName komaz-21.crans.org
524 Host komaz.adm komaz.adm.crans.org
525 HostName komaz.adm.crans.org
529 Host malloc malloc.crans.org
530 HostName malloc.crans.org
534 Host malloc.adm malloc.adm.crans.org
535 HostName malloc.adm.crans.org
539 Host mediadrop video mediadrop.crans.org video.crans.org
540 HostName mediadrop.crans.org
544 Host mediadrop.adm mediadrop.adm.crans.org
545 HostName mediadrop.adm.crans.org
549 Host nat64 nat64.crans.org
550 HostName nat64.crans.org
554 Host nat64.adm nat64.adm.crans.org
555 HostName nat64.adm.crans.org
559 Host nem nem.crans.org
560 HostName nem.crans.org
564 Host nem.adm nem.adm.crans.org
565 HostName nem.adm.crans.org
569 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
570 HostName news.crans.org
574 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
575 HostName news.adm.crans.org
579 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
580 HostName niomniom.crans.org
584 Host niomniom.adm niomniom.adm.crans.org
585 HostName niomniom.adm.crans.org
589 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
590 HostName o2.crans.org
594 Host o2.adm o2.adm.crans.org
595 HostName o2.adm.crans.org
599 Host odlyd odlyd.crans.org
600 HostName odlyd.crans.org
604 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
605 HostName odlyd.adm.crans.org
609 Host odlyd.wifi odlyd.wifi.crans.org
610 HostName odlyd.wifi.crans.org
614 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
615 HostName oie.crans.org
619 Host oie.adm oie.adm.crans.org
620 HostName oie.adm.crans.org
624 Host omnomnom omnomnom.crans.org
625 HostName omnomnom.crans.org
629 Host omnomnom.adm omnomnom.adm.crans.org
630 HostName omnomnom.adm.crans.org
634 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
635 HostName owl.crans.org
639 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
640 HostName owl.adm.crans.org
644 Host owncloud owncloud.crans.org
645 HostName owncloud.crans.org
649 Host owncloud.adm owncloud.adm.crans.org
650 HostName owncloud.adm.crans.org
654 Host pea pea.crans.org
655 HostName pea.crans.org
659 Host pea.adm pea.adm.crans.org
660 HostName pea.adm.crans.org
664 Host pegase pegase.crans.org
665 HostName pegase.crans.org
669 Host puppet puppet.crans.org
670 HostName puppet.crans.org
674 Host puppet.adm puppet.adm.crans.org
675 HostName puppet.adm.crans.org
679 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
680 HostName redisdead.crans.org
684 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
685 HostName redisdead.adm.crans.org
689 Host rezosup rezosup.crans.org
690 HostName rezosup.crans.org
694 Host roundcube roundcube.crans.org
695 HostName roundcube.crans.org
699 Host roundcube.adm roundcube.adm.crans.org
700 HostName roundcube.adm.crans.org
704 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
705 HostName routeur.crans.org
709 Host routeur-21 routeur-21.crans.org
710 HostName routeur-21.crans.org
714 Host routeur.adm routeur.adm.crans.org
715 HostName routeur.adm.crans.org
719 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
720 HostName sable.crans.org
724 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
725 HostName sable.adm.crans.org
729 Host sogo sogo.crans.org
730 HostName sogo.crans.org
734 Host sogo.adm sogo.adm.crans.org
735 HostName sogo.adm.crans.org
739 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
740 HostName soyouz.crans.org
744 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
745 HostName soyouz.adm.crans.org
749 Host ssh2 mosh ssh2.crans.org mosh.crans.org
750 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
751 # pour passer à travers les blocages de ports (443 = https)
752 HostName 138.231.136.2
757 Host stun-secondary stun-secondary.crans.org
758 HostName stun-secondary.crans.org
762 Host template template.crans.org
763 HostName template.crans.org
767 Host template.adm template.adm.crans.org
768 HostName template.adm.crans.org
772 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
773 HostName thot.crans.org
777 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
778 HostName thot.adm.crans.org
782 Host titanic titanic.crans.org
783 HostName titanic.crans.org
787 Host titanic.adm titanic.adm.crans.org
788 HostName titanic.adm.crans.org
792 Host tracker todo tracker.crans.org todo.crans.org
793 HostName tracker.crans.org
797 Host tracker.adm tracker.adm.crans.org
798 HostName tracker.adm.crans.org
802 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
803 HostName vo.crans.org
807 Host vo-eth0 vo-eth0.crans.org
808 HostName vo-eth0.crans.org
812 Host vo.adm vo.adm.crans.org
813 HostName vo.adm.crans.org
817 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
818 HostName xmpp.crans.org
822 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
823 HostName xmpp.adm.crans.org
827 Host ytrap-llatsni ytrap-llatsni.crans.org
828 HostName ytrap-llatsni.crans.org
832 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
833 HostName ytrap-llatsni.adm.crans.org
837 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
838 HostName zamok.crans.org
842 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
843 HostName zamok.adm.crans.org
848 # +-------------------------+
849 # | Serveurs Cr@ns adm-only |
850 # +-------------------------+
851 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
852 # d'où la ProxyCommand
854 Host babar.adm babar babar babar.adm.crans.org
855 HostName babar.adm.crans.org
858 ProxyCommand ssh sable.crans.org -W %h:%p
860 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
861 HostName bcfg2.adm.crans.org
864 ProxyCommand ssh sable.crans.org -W %h:%p
866 Host eap.adm eap eap eap.adm.crans.org
867 HostName eap.adm.crans.org
870 ProxyCommand ssh sable.crans.org -W %h:%p
872 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
873 HostName ft-ilo.adm.crans.org
876 ProxyCommand ssh sable.crans.org -W %h:%p
877 HostKeyAlgorithms ssh-rsa
879 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
880 HostName fx-ilo.adm.crans.org
883 ProxyCommand ssh sable.crans.org -W %h:%p
884 HostKeyAlgorithms ssh-rsa
886 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
887 HostName fy-ilo.adm.crans.org
890 ProxyCommand ssh sable.crans.org -W %h:%p
891 HostKeyAlgorithms ssh-rsa
893 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
894 HostName fz-ilo.adm.crans.org
897 ProxyCommand ssh sable.crans.org -W %h:%p
898 HostKeyAlgorithms ssh-rsa
900 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
901 HostName kdell-idrac.adm.crans.org
904 ProxyCommand ssh sable.crans.org -W %h:%p
906 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
907 HostName komaz-ilo.adm.crans.org
910 ProxyCommand ssh sable.crans.org -W %h:%p
911 HostKeyAlgorithms ssh-rsa
913 Host odlyd-ilo.adm odlyd-ilo odlyd-ilo odlyd-ilo.adm.crans.org
914 HostName odlyd-ilo.adm.crans.org
917 ProxyCommand ssh sable.crans.org -W %h:%p
918 HostKeyAlgorithms ssh-rsa
920 Host radius.adm radius radius radius.adm.crans.org
921 HostName radius.adm.crans.org
924 ProxyCommand ssh sable.crans.org -W %h:%p
926 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
927 HostName sable-ilo.adm.crans.org
930 ProxyCommand ssh sable.crans.org -W %h:%p
931 HostKeyAlgorithms ssh-rsa
933 Host slon.adm slon slon slon.adm.crans.org
934 HostName slon.adm.crans.org
937 ProxyCommand ssh sable.crans.org -W %h:%p
939 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
940 HostName vert.adm.crans.org
943 ProxyCommand ssh sable.crans.org -W %h:%p
945 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
946 HostName zbee-idrac.adm.crans.org
949 ProxyCommand ssh sable.crans.org -W %h:%p
951 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
952 HostName zbee.adm.crans.org
955 ProxyCommand ssh sable.crans.org -W %h:%p
961 # Accessibles aux membres de l'équipe d'admin de FedeRez
963 # Actuellement down, mais on ne sait jamais
964 Host nautilus nautilus.federez.net
965 HostName nautilus.federez.net
969 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
970 HostName baldrick.federez.net
974 Host quigon quigon.federez.net
975 HostName quigon.federez.net
979 Host polygon polygon.federez.net
980 HostName polygon.federez.net
984 Host hexagon hexagon.federez.net
985 HostName hexagon.federez.net
990 # +-------------------+
991 # | Serveurs de l'ENS |
992 # +-------------------+
993 # Accessibles aux élèves de l'ENS
995 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
996 HostName tselin.clietu.ens-cachan.fr
998 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1001 HostName tselin2.clietu.ens-cachan.fr
1003 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1005 Host tahines.ens-cachan.fr tahines2 tahines
1006 HostName tahines.ens-cachan.fr
1010 # +------------------+
1011 # | Département info |
1012 # +------------------+
1013 # Machines du département informatique de l'ENSC
1016 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1017 #HostName 138.231.36.60
1018 HostName ssh.dptinfo.ens-cachan.fr
1022 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1023 # Sinon on crée une boucle
1024 Host *.dptinfo !ssh.dptinfo
1025 HostName %h.ens-cachan.fr
1027 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1030 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1033 ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
1041 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1042 HostName mars.lbpa.ens-cachan.fr
1044 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1051 # Homes montées mais != passerelle
1052 Host lri acces.lri ssh.lri acces.lri.fr
1053 HostName acces.lri.fr
1057 # Passerelle d'entrée, utilisable que par clé
1058 Host pl-ssh pl-ssh.lri.fr
1059 HostName pl-ssh.lri.fr
1060 PasswordAuthentication no
1064 Host labo lri30-13 lri30-13.lri.fr
1065 HostName lri30-13.lri.fr
1068 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1070 Host hal hal.labo 129.175.30.228
1071 HostName 129.175.30.228
1074 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1076 # END (utile pour éviter les merge conflicts)