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 kfet1
187 HostName kfet.crans.org
192 Host kfet2 kfet2.crans.org
193 HostName kfet2.crans.org
196 Host bde-test note-test old-note bde-test.crans.org note-test.crans.org old-note.crans.org
197 HostName bde-test.crans.org
201 Host ldap-bde bde2 note2 bde-fallback bde2.crans.org note2.crans.org ldap-bde.crans.org bde-fallback.crans.org
202 HostName bde2.crans.org
206 Host bde3 bde3.crans.org
207 HostName bde3.crans.org
211 Host note note-virt bde2-virt note.crans.ort note-virt.crans.org bde2-virt.crans.org
212 HostName bde2-virt.crans.org
216 Host video videobde videobde.crans.org
217 HostName videobde.crans.org
221 Host bureau bureau-bde bureau-bde.crans.org
222 HostName bureau-bde.crans.org
225 Host vieux vm-vieux pot-vieux vieux.crans.org pot-vieux.crans.org
226 HostName vieux.crans.org
234 # Parce que j'y suis le bienvenu
236 Host linkki linkki.crans.org
237 HostName linkki.crans.org
240 Host ilma ilma.wifi ilma.wifi.crans.org
241 HostName ilma.wifi.crans.org
244 Host ruoska ruoska.crans.org
245 HostName ruoska.crans.org
252 # Parce que j'y suis le bienvenu
254 # Le ftp de Nit, gère A♡-TV.
255 Host power power.crans.org nit-git nit-git.crans.org
256 HostName power.crans.org
259 # Réplicat du wikoeur
260 Host genua acoeur.genua.fr
261 HostName acoeur.genua.fr
268 # Parce que le département A♡ a un serveur
270 Host acoeur acoeur.crans.org
271 HostName acoeur.crans.org
275 # +-------------------+
276 # | Serveurs du Cr@ns |
277 # +-------------------+
278 # Accessible aux apprentis
279 # sauf zamok et ssh2, accessibles à tous les adhérents
281 Host alice alice.crans.org
282 HostName alice.crans.org
286 Host alice.adm alice.adm.crans.org
287 HostName alice.adm.crans.org
291 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
292 HostName appartement.crans.org
296 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
297 HostName apprentis.crans.org
300 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
301 HostName asterisk.crans.org
305 Host asterisk.adm asterisk.adm.crans.org
306 HostName asterisk.adm.crans.org
310 Host backbone backbone.crans.org
311 HostName backbone.crans.org
315 Host backbone.adm backbone.adm.crans.org
316 HostName backbone.adm.crans.org
320 Host backbone.wifi backbone.wifi.crans.org
321 HostName backbone.wifi.crans.org
325 Host batk-0 batk-0.crans.org
326 HostName batk-0.crans.org
329 Host cas auth login cas.crans.org login.crans.org auth.crans.org
330 HostName cas.crans.org
334 Host cas.adm cas.adm.crans.org
335 HostName cas.adm.crans.org
339 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
340 HostName charybde.crans.org
344 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
345 HostName charybde.adm.crans.org
349 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
350 HostName civet.crans.org
354 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
355 HostName civet.adm.crans.org
359 Host cochon.adm cochon.adm.crans.org
360 HostName cochon.adm.crans.org
364 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
365 HostName cochon.ferme.crans.org
369 Host cups cups.crans.org
370 HostName cups.crans.org
374 Host cups.adm cups.adm.crans.org
375 HostName cups.adm.crans.org
379 Host dhcp dhcp.crans.org
380 HostName dhcp.crans.org
384 Host dhcp-21 dhcp-21.crans.org
385 HostName dhcp-21.crans.org
389 Host dhcp.adm dhcp.adm.crans.org
390 HostName dhcp.adm.crans.org
394 Host dyson dyson.crans.org
395 HostName dyson.crans.org
399 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
400 HostName dyson.adm.crans.org
404 Host ethercalc ethercalc.crans.org
405 HostName ethercalc.crans.org
409 Host ethercalc.adm ethercalc.adm.crans.org
410 HostName ethercalc.adm.crans.org
414 Host freebox freebox.crans.org
415 HostName freebox.crans.org
420 HostName ft.crans.org
424 Host ft.adm ft.adm.crans.org
425 HostName ft.adm.crans.org
429 Host fy munin fy.crans.org munin.crans.org
430 HostName fy.crans.org
434 Host fy.adm fy.adm.crans.org
435 HostName fy.adm.crans.org
440 HostName fz.crans.org
444 Host fz.adm fz.adm.crans.org
445 HostName fz.adm.crans.org
449 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
450 HostName geet.crans.org
454 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
455 HostName geet.adm.crans.org
459 Host horde webmail horde.crans.org webmail.crans.org
460 HostName horde.crans.org
464 Host horde.adm horde.adm.crans.org
465 HostName horde.adm.crans.org
469 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
470 HostName irc.crans.org
474 Host irc.adm irc.adm.crans.org
475 HostName irc.adm.crans.org
479 Host isc isc.crans.org
480 HostName isc.crans.org
484 Host isc.adm isc.adm.crans.org
485 HostName isc.adm.crans.org
489 Host kdell kdell.crans.org
490 HostName kdell.crans.org
494 Host kdell.adm kdell.adm.crans.org
495 HostName kdell.adm.crans.org
499 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
500 HostName kenobi.crans.org
504 Host kenobi.adm kenobi.adm.crans.org
505 HostName kenobi.adm.crans.org
509 Host komaz komaz.crans.org
510 HostName komaz.crans.org
514 Host komaz-21 komaz-21.crans.org
515 HostName komaz-21.crans.org
519 Host komaz.adm komaz.adm.crans.org
520 HostName komaz.adm.crans.org
524 Host malloc malloc.crans.org
525 HostName malloc.crans.org
529 Host malloc.adm malloc.adm.crans.org
530 HostName malloc.adm.crans.org
534 Host mediadrop video mediadrop.crans.org video.crans.org
535 HostName mediadrop.crans.org
539 Host mediadrop.adm mediadrop.adm.crans.org
540 HostName mediadrop.adm.crans.org
544 Host nat64 nat64.crans.org
545 HostName nat64.crans.org
549 Host nat64.adm nat64.adm.crans.org
550 HostName nat64.adm.crans.org
554 Host nem nem.crans.org
555 HostName nem.crans.org
559 Host nem.adm nem.adm.crans.org
560 HostName nem.adm.crans.org
564 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
565 HostName news.crans.org
569 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
570 HostName news.adm.crans.org
574 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
575 HostName niomniom.crans.org
579 Host niomniom.adm niomniom.adm.crans.org
580 HostName niomniom.adm.crans.org
584 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
585 HostName o2.crans.org
589 Host o2.adm o2.adm.crans.org
590 HostName o2.adm.crans.org
594 Host odlyd odlyd.crans.org
595 HostName odlyd.crans.org
599 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
600 HostName odlyd.adm.crans.org
604 Host odlyd.wifi odlyd.wifi.crans.org
605 HostName odlyd.wifi.crans.org
609 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
610 HostName oie.crans.org
614 Host oie.adm oie.adm.crans.org
615 HostName oie.adm.crans.org
619 Host omnomnom omnomnom.crans.org
620 HostName omnomnom.crans.org
624 Host omnomnom.adm omnomnom.adm.crans.org
625 HostName omnomnom.adm.crans.org
629 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
630 HostName owl.crans.org
634 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
635 HostName owl.adm.crans.org
639 Host owncloud owncloud.crans.org
640 HostName owncloud.crans.org
644 Host owncloud.adm owncloud.adm.crans.org
645 HostName owncloud.adm.crans.org
649 Host pea pea.crans.org
650 HostName pea.crans.org
654 Host pea.adm pea.adm.crans.org
655 HostName pea.adm.crans.org
659 Host pegase pegase.crans.org
660 HostName pegase.crans.org
664 Host puppet puppet.crans.org
665 HostName puppet.crans.org
669 Host puppet.adm puppet.adm.crans.org
670 HostName puppet.adm.crans.org
674 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
675 HostName redisdead.crans.org
679 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
680 HostName redisdead.adm.crans.org
684 Host rezosup rezosup.crans.org
685 HostName rezosup.crans.org
689 Host roundcube roundcube.crans.org
690 HostName roundcube.crans.org
694 Host roundcube.adm roundcube.adm.crans.org
695 HostName roundcube.adm.crans.org
699 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
700 HostName routeur.crans.org
704 Host routeur-21 routeur-21.crans.org
705 HostName routeur-21.crans.org
709 Host routeur.adm routeur.adm.crans.org
710 HostName routeur.adm.crans.org
714 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
715 HostName sable.crans.org
719 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
720 HostName sable.adm.crans.org
724 Host sogo sogo.crans.org
725 HostName sogo.crans.org
729 Host sogo.adm sogo.adm.crans.org
730 HostName sogo.adm.crans.org
734 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
735 HostName soyouz.crans.org
739 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
740 HostName soyouz.adm.crans.org
744 Host ssh2 mosh ssh2.crans.org mosh.crans.org
745 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
746 # pour passer à travers les blocages de ports (443 = https)
747 HostName 138.231.136.2
752 Host stun-secondary stun-secondary.crans.org
753 HostName stun-secondary.crans.org
757 Host template template.crans.org
758 HostName template.crans.org
762 Host template.adm template.adm.crans.org
763 HostName template.adm.crans.org
767 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
768 HostName thot.crans.org
772 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
773 HostName thot.adm.crans.org
777 Host titanic titanic.crans.org
778 HostName titanic.crans.org
782 Host titanic.adm titanic.adm.crans.org
783 HostName titanic.adm.crans.org
787 Host tracker todo tracker.crans.org todo.crans.org
788 HostName tracker.crans.org
792 Host tracker.adm tracker.adm.crans.org
793 HostName tracker.adm.crans.org
797 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
798 HostName vo.crans.org
802 Host vo-eth0 vo-eth0.crans.org
803 HostName vo-eth0.crans.org
807 Host vo.adm vo.adm.crans.org
808 HostName vo.adm.crans.org
812 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
813 HostName xmpp.crans.org
817 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
818 HostName xmpp.adm.crans.org
822 Host ytrap-llatsni ytrap-llatsni.crans.org
823 HostName ytrap-llatsni.crans.org
827 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
828 HostName ytrap-llatsni.adm.crans.org
832 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 bde.crans.org pot-vieux.crans.org
833 HostName zamok.crans.org
837 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
838 HostName zamok.adm.crans.org
843 # +-------------------------+
844 # | Serveurs Cr@ns adm-only |
845 # +-------------------------+
846 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
847 # d'où la ProxyCommand
849 Host babar.adm babar babar babar.adm.crans.org
850 HostName babar.adm.crans.org
853 ProxyCommand ssh sable.crans.org -W %h:%p
855 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
856 HostName bcfg2.adm.crans.org
859 ProxyCommand ssh sable.crans.org -W %h:%p
861 Host eap.adm eap eap eap.adm.crans.org
862 HostName eap.adm.crans.org
865 ProxyCommand ssh sable.crans.org -W %h:%p
867 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
868 HostName ft-ilo.adm.crans.org
871 ProxyCommand ssh sable.crans.org -W %h:%p
872 HostKeyAlgorithms ssh-rsa
874 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
875 HostName fx-ilo.adm.crans.org
878 ProxyCommand ssh sable.crans.org -W %h:%p
879 HostKeyAlgorithms ssh-rsa
881 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
882 HostName fy-ilo.adm.crans.org
885 ProxyCommand ssh sable.crans.org -W %h:%p
886 HostKeyAlgorithms ssh-rsa
888 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
889 HostName fz-ilo.adm.crans.org
892 ProxyCommand ssh sable.crans.org -W %h:%p
893 HostKeyAlgorithms ssh-rsa
895 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
896 HostName kdell-idrac.adm.crans.org
899 ProxyCommand ssh sable.crans.org -W %h:%p
901 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
902 HostName komaz-ilo.adm.crans.org
905 ProxyCommand ssh sable.crans.org -W %h:%p
906 HostKeyAlgorithms ssh-rsa
908 Host odlyd-ilo.adm odlyd-ilo odlyd-ilo odlyd-ilo.adm.crans.org
909 HostName odlyd-ilo.adm.crans.org
912 ProxyCommand ssh sable.crans.org -W %h:%p
913 HostKeyAlgorithms ssh-rsa
915 Host radius.adm radius radius radius.adm.crans.org
916 HostName radius.adm.crans.org
919 ProxyCommand ssh sable.crans.org -W %h:%p
921 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
922 HostName sable-ilo.adm.crans.org
925 ProxyCommand ssh sable.crans.org -W %h:%p
926 HostKeyAlgorithms ssh-rsa
928 Host slon.adm slon slon slon.adm.crans.org
929 HostName slon.adm.crans.org
932 ProxyCommand ssh sable.crans.org -W %h:%p
934 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
935 HostName vert.adm.crans.org
938 ProxyCommand ssh sable.crans.org -W %h:%p
940 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
941 HostName zbee-idrac.adm.crans.org
944 ProxyCommand ssh sable.crans.org -W %h:%p
946 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
947 HostName zbee.adm.crans.org
950 ProxyCommand ssh sable.crans.org -W %h:%p
956 # Accessibles aux membres de l'équipe d'admin de FedeRez
958 # Actuellement down, mais on ne sait jamais
959 Host nautilus nautilus.federez.net
960 HostName nautilus.federez.net
964 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
965 HostName baldrick.federez.net
969 Host quigon quigon.federez.net
970 HostName quigon.federez.net
974 Host polygon polygon.federez.net
975 HostName polygon.federez.net
979 Host hexagon hexagon.federez.net
980 HostName hexagon.federez.net
985 # +-------------------+
986 # | Serveurs de l'ENS |
987 # +-------------------+
988 # Accessibles aux élèves de l'ENS
990 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
991 HostName tselin.clietu.ens-cachan.fr
993 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
996 HostName tselin2.clietu.ens-cachan.fr
998 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1000 Host tahines.ens-cachan.fr tahines2 tahines
1001 HostName tahines.ens-cachan.fr
1005 # +------------------+
1006 # | Département info |
1007 # +------------------+
1008 # Machines du département informatique de l'ENSC
1011 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1012 #HostName 138.231.36.60
1013 HostName ssh.dptinfo.ens-cachan.fr
1017 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1018 # Sinon on crée une boucle
1019 Host *.dptinfo !ssh.dptinfo
1020 HostName %h.ens-cachan.fr
1022 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1025 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1028 ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
1036 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1037 HostName mars.lbpa.ens-cachan.fr
1039 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1046 # Homes montées mais != passerelle
1047 Host lri acces.lri ssh.lri acces.lri.fr
1048 HostName acces.lri.fr
1052 # Passerelle d'entrée, utilisable que par clé
1053 Host pl-ssh pl-ssh.lri.fr
1054 HostName pl-ssh.lri.fr
1055 PasswordAuthentication no
1059 Host labo lri30-13 lri30-13.lri.fr
1060 HostName lri30-13.lri.fr
1063 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1065 Host hal hal.labo 129.175.30.228
1066 HostName 129.175.30.228
1069 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1071 # END (utile pour éviter les merge conflicts)