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 note bde2 note2 note.crans.org bde2.crans.org note2.crans.org
202 HostName note.crans.org
206 Host bde3 bde3.crans.org
207 HostName bde3.crans.org
211 Host video videobde videobde.crans.org
212 HostName videobde.crans.org
216 Host bureau bureau-bde bureau-bde.crans.org
217 HostName bureau-bde.crans.org
220 Host vieux vm-vieux pot-vieux vieux.crans.org pot-vieux.crans.org
221 HostName vieux.crans.org
229 # Parce que j'y suis le bienvenu
231 Host linkki linkki.crans.org
232 HostName linkki.crans.org
235 Host ilma ilma.wifi ilma.wifi.crans.org
236 HostName ilma.wifi.crans.org
239 Host ruoska ruoska.crans.org
240 HostName ruoska.crans.org
247 # Parce que j'y suis le bienvenu
249 # Le ftp de Nit, gère A♡-TV.
250 Host power power.crans.org nit-git nit-git.crans.org
251 HostName power.crans.org
254 # Réplicat du wikoeur
255 Host genua acoeur.genua.fr
256 HostName acoeur.genua.fr
263 # Parce que le département A♡ a un serveur
265 Host acoeur acoeur.crans.org
266 HostName acoeur.crans.org
270 # +-------------------+
271 # | Serveurs du Cr@ns |
272 # +-------------------+
273 # Accessible aux apprentis
274 # sauf zamok et ssh2, accessibles à tous les adhérents
276 Host alice alice.crans.org
277 HostName alice.crans.org
281 Host alice.adm alice.adm.crans.org
282 HostName alice.adm.crans.org
286 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
287 HostName appartement.crans.org
291 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
292 HostName apprentis.crans.org
295 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
296 HostName asterisk.crans.org
300 Host asterisk.adm asterisk.adm.crans.org
301 HostName asterisk.adm.crans.org
305 Host backbone backbone.crans.org
306 HostName backbone.crans.org
310 Host backbone.adm backbone.adm.crans.org
311 HostName backbone.adm.crans.org
315 Host backbone.wifi backbone.wifi.crans.org
316 HostName backbone.wifi.crans.org
320 Host batk-0 batk-0.crans.org
321 HostName batk-0.crans.org
324 Host cas auth login cas.crans.org login.crans.org auth.crans.org
325 HostName cas.crans.org
329 Host cas.adm cas.adm.crans.org
330 HostName cas.adm.crans.org
334 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
335 HostName charybde.crans.org
339 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
340 HostName charybde.adm.crans.org
344 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
345 HostName civet.crans.org
349 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
350 HostName civet.adm.crans.org
354 Host cochon.adm cochon.adm.crans.org
355 HostName cochon.adm.crans.org
359 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
360 HostName cochon.ferme.crans.org
364 Host cups cups.crans.org
365 HostName cups.crans.org
369 Host cups.adm cups.adm.crans.org
370 HostName cups.adm.crans.org
374 Host dhcp dhcp.crans.org
375 HostName dhcp.crans.org
379 Host dhcp-21 dhcp-21.crans.org
380 HostName dhcp-21.crans.org
384 Host dhcp.adm dhcp.adm.crans.org
385 HostName dhcp.adm.crans.org
389 Host dyson dyson.crans.org
390 HostName dyson.crans.org
394 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
395 HostName dyson.adm.crans.org
399 Host ethercalc ethercalc.crans.org
400 HostName ethercalc.crans.org
404 Host ethercalc.adm ethercalc.adm.crans.org
405 HostName ethercalc.adm.crans.org
409 Host freebox freebox.crans.org
410 HostName freebox.crans.org
415 HostName ft.crans.org
419 Host ft.adm ft.adm.crans.org
420 HostName ft.adm.crans.org
424 Host fy munin fy.crans.org munin.crans.org
425 HostName fy.crans.org
429 Host fy.adm fy.adm.crans.org
430 HostName fy.adm.crans.org
435 HostName fz.crans.org
439 Host fz.adm fz.adm.crans.org
440 HostName fz.adm.crans.org
444 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
445 HostName geet.crans.org
449 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
450 HostName geet.adm.crans.org
454 Host horde webmail horde.crans.org webmail.crans.org
455 HostName horde.crans.org
459 Host horde.adm horde.adm.crans.org
460 HostName horde.adm.crans.org
464 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
465 HostName irc.crans.org
469 Host irc.adm irc.adm.crans.org
470 HostName irc.adm.crans.org
474 Host isc isc.crans.org
475 HostName isc.crans.org
479 Host isc.adm isc.adm.crans.org
480 HostName isc.adm.crans.org
484 Host kdell kdell.crans.org
485 HostName kdell.crans.org
489 Host kdell.adm kdell.adm.crans.org
490 HostName kdell.adm.crans.org
494 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
495 HostName kenobi.crans.org
499 Host kenobi.adm kenobi.adm.crans.org
500 HostName kenobi.adm.crans.org
504 Host komaz komaz.crans.org
505 HostName komaz.crans.org
509 Host komaz-21 komaz-21.crans.org
510 HostName komaz-21.crans.org
514 Host komaz.adm komaz.adm.crans.org
515 HostName komaz.adm.crans.org
519 Host malloc malloc.crans.org
520 HostName malloc.crans.org
524 Host malloc.adm malloc.adm.crans.org
525 HostName malloc.adm.crans.org
529 Host mediadrop video mediadrop.crans.org video.crans.org
530 HostName mediadrop.crans.org
534 Host mediadrop.adm mediadrop.adm.crans.org
535 HostName mediadrop.adm.crans.org
539 Host nat64 nat64.crans.org
540 HostName nat64.crans.org
544 Host nat64.adm nat64.adm.crans.org
545 HostName nat64.adm.crans.org
549 Host nem nem.crans.org
550 HostName nem.crans.org
554 Host nem.adm nem.adm.crans.org
555 HostName nem.adm.crans.org
559 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
560 HostName news.crans.org
564 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
565 HostName news.adm.crans.org
569 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
570 HostName niomniom.crans.org
574 Host niomniom.adm niomniom.adm.crans.org
575 HostName niomniom.adm.crans.org
579 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
580 HostName o2.crans.org
584 Host o2.adm o2.adm.crans.org
585 HostName o2.adm.crans.org
589 Host odlyd odlyd.crans.org
590 HostName odlyd.crans.org
594 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
595 HostName odlyd.adm.crans.org
599 Host odlyd.wifi odlyd.wifi.crans.org
600 HostName odlyd.wifi.crans.org
604 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
605 HostName oie.crans.org
609 Host oie.adm oie.adm.crans.org
610 HostName oie.adm.crans.org
614 Host omnomnom omnomnom.crans.org
615 HostName omnomnom.crans.org
619 Host omnomnom.adm omnomnom.adm.crans.org
620 HostName omnomnom.adm.crans.org
624 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
625 HostName owl.crans.org
629 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
630 HostName owl.adm.crans.org
634 Host owncloud owncloud.crans.org
635 HostName owncloud.crans.org
639 Host owncloud.adm owncloud.adm.crans.org
640 HostName owncloud.adm.crans.org
644 Host pea pea.crans.org
645 HostName pea.crans.org
649 Host pea.adm pea.adm.crans.org
650 HostName pea.adm.crans.org
654 Host pegase pegase.crans.org
655 HostName pegase.crans.org
659 Host puppet puppet.crans.org
660 HostName puppet.crans.org
664 Host puppet.adm puppet.adm.crans.org
665 HostName puppet.adm.crans.org
669 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
670 HostName redisdead.crans.org
674 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
675 HostName redisdead.adm.crans.org
679 Host rezosup rezosup.crans.org
680 HostName rezosup.crans.org
684 Host roundcube roundcube.crans.org
685 HostName roundcube.crans.org
689 Host roundcube.adm roundcube.adm.crans.org
690 HostName roundcube.adm.crans.org
694 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
695 HostName routeur.crans.org
699 Host routeur-21 routeur-21.crans.org
700 HostName routeur-21.crans.org
704 Host routeur.adm routeur.adm.crans.org
705 HostName routeur.adm.crans.org
709 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
710 HostName sable.crans.org
714 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
715 HostName sable.adm.crans.org
719 Host sogo sogo.crans.org
720 HostName sogo.crans.org
724 Host sogo.adm sogo.adm.crans.org
725 HostName sogo.adm.crans.org
729 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
730 HostName soyouz.crans.org
734 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
735 HostName soyouz.adm.crans.org
739 Host ssh2 mosh ssh2.crans.org mosh.crans.org
740 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
741 # pour passer à travers les blocages de ports (443 = https)
742 HostName 138.231.136.2
747 Host stun-secondary stun-secondary.crans.org
748 HostName stun-secondary.crans.org
752 Host template template.crans.org
753 HostName template.crans.org
757 Host template.adm template.adm.crans.org
758 HostName template.adm.crans.org
762 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
763 HostName thot.crans.org
767 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
768 HostName thot.adm.crans.org
772 Host titanic titanic.crans.org
773 HostName titanic.crans.org
777 Host titanic.adm titanic.adm.crans.org
778 HostName titanic.adm.crans.org
782 Host tracker todo tracker.crans.org todo.crans.org
783 HostName tracker.crans.org
787 Host tracker.adm tracker.adm.crans.org
788 HostName tracker.adm.crans.org
792 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
793 HostName vo.crans.org
797 Host vo-eth0 vo-eth0.crans.org
798 HostName vo-eth0.crans.org
802 Host vo.adm vo.adm.crans.org
803 HostName vo.adm.crans.org
807 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
808 HostName xmpp.crans.org
812 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
813 HostName xmpp.adm.crans.org
817 Host ytrap-llatsni ytrap-llatsni.crans.org
818 HostName ytrap-llatsni.crans.org
822 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
823 HostName ytrap-llatsni.adm.crans.org
827 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
828 HostName zamok.crans.org
832 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
833 HostName zamok.adm.crans.org
838 # +-------------------------+
839 # | Serveurs Cr@ns adm-only |
840 # +-------------------------+
841 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
842 # d'où la ProxyCommand
844 Host babar.adm babar babar babar.adm.crans.org
845 HostName babar.adm.crans.org
848 ProxyCommand ssh sable.crans.org -W %h:%p
850 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
851 HostName bcfg2.adm.crans.org
854 ProxyCommand ssh sable.crans.org -W %h:%p
856 Host eap.adm eap eap eap.adm.crans.org
857 HostName eap.adm.crans.org
860 ProxyCommand ssh sable.crans.org -W %h:%p
862 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
863 HostName ft-ilo.adm.crans.org
866 ProxyCommand ssh sable.crans.org -W %h:%p
867 HostKeyAlgorithms ssh-rsa
869 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
870 HostName fx-ilo.adm.crans.org
873 ProxyCommand ssh sable.crans.org -W %h:%p
874 HostKeyAlgorithms ssh-rsa
876 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
877 HostName fy-ilo.adm.crans.org
880 ProxyCommand ssh sable.crans.org -W %h:%p
881 HostKeyAlgorithms ssh-rsa
883 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
884 HostName fz-ilo.adm.crans.org
887 ProxyCommand ssh sable.crans.org -W %h:%p
888 HostKeyAlgorithms ssh-rsa
890 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
891 HostName kdell-idrac.adm.crans.org
894 ProxyCommand ssh sable.crans.org -W %h:%p
896 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
897 HostName komaz-ilo.adm.crans.org
900 ProxyCommand ssh sable.crans.org -W %h:%p
901 HostKeyAlgorithms ssh-rsa
903 Host odlyd-ilo.adm odlyd-ilo odlyd-ilo odlyd-ilo.adm.crans.org
904 HostName odlyd-ilo.adm.crans.org
907 ProxyCommand ssh sable.crans.org -W %h:%p
908 HostKeyAlgorithms ssh-rsa
910 Host radius.adm radius radius radius.adm.crans.org
911 HostName radius.adm.crans.org
914 ProxyCommand ssh sable.crans.org -W %h:%p
916 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
917 HostName sable-ilo.adm.crans.org
920 ProxyCommand ssh sable.crans.org -W %h:%p
921 HostKeyAlgorithms ssh-rsa
923 Host slon.adm slon slon slon.adm.crans.org
924 HostName slon.adm.crans.org
927 ProxyCommand ssh sable.crans.org -W %h:%p
929 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
930 HostName vert.adm.crans.org
933 ProxyCommand ssh sable.crans.org -W %h:%p
935 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
936 HostName zbee-idrac.adm.crans.org
939 ProxyCommand ssh sable.crans.org -W %h:%p
941 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
942 HostName zbee.adm.crans.org
945 ProxyCommand ssh sable.crans.org -W %h:%p
951 # Accessibles aux membres de l'équipe d'admin de FedeRez
953 # Actuellement down, mais on ne sait jamais
954 Host nautilus nautilus.federez.net
955 HostName nautilus.federez.net
959 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
960 HostName baldrick.federez.net
964 Host quigon quigon.federez.net
965 HostName quigon.federez.net
969 Host polygon polygon.federez.net
970 HostName polygon.federez.net
974 Host hexagon hexagon.federez.net
975 HostName hexagon.federez.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.29.151
1061 HostName 129.175.29.151
1064 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1066 # END (utile pour éviter les merge conflicts)