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
192 Host kfet-secours kfet-secours.crans.org
193 HostName kfet-secours.crans.org
198 Host kfet2 kfet2.crans.org
199 HostName kfet2.crans.org
202 Host bde-test note-test bde-test.crans.org note-test.crans.org
203 HostName bde-test.crans.org
207 Host ldap-bde bde2 bde-fallback bde2.crans.org ldap-bde.crans.org bde-fallback.crans.org
208 HostName bde2.crans.org
212 Host bde3 bde3.crans.org
213 HostName bde3.crans.org
217 Host note bde2-virt note.crans.ort bde2-virt.crans.org
218 HostName bde2-virt.crans.org
222 Host video videobde videobde.crans.org
223 HostName videobde.crans.org
227 Host bureau bureau-bde bureau-bde.crans.org
228 HostName bureau-bde.crans.org
231 Host vieux vm-vieux pot-vieux vieux.crans.org pot-vieux.crans.org
232 HostName vieux.crans.org
240 # Parce que j'y suis le bienvenu
242 Host linkki linkki.crans.org
243 HostName linkki.crans.org
246 Host ilma ilma.wifi ilma.wifi.crans.org
247 HostName ilma.wifi.crans.org
250 Host ruoska ruoska.crans.org
251 HostName ruoska.crans.org
258 # Parce que j'y suis le bienvenu
260 # Le ftp de Nit, gère A♡-TV.
261 Host power power.crans.org nit-git nit-git.crans.org
262 HostName power.crans.org
265 # Réplicat du wikoeur
266 Host genua acoeur.genua.fr
267 HostName acoeur.genua.fr
274 # Parce que le département A♡ a un serveur
276 Host acoeur acoeur.crans.org
277 HostName acoeur.crans.org
281 # +-------------------+
282 # | Serveurs du Cr@ns |
283 # +-------------------+
284 # Accessible aux apprentis
285 # sauf zamok et ssh2, accessibles à tous les adhérents
287 Host alice alice.crans.org
288 HostName alice.crans.org
292 Host alice.adm alice.adm.crans.org
293 HostName alice.adm.crans.org
297 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
298 HostName appartement.crans.org
302 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
303 HostName apprentis.crans.org
306 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
307 HostName asterisk.crans.org
311 Host asterisk.adm asterisk.adm.crans.org
312 HostName asterisk.adm.crans.org
316 Host backbone backbone.crans.org
317 HostName backbone.crans.org
321 Host backbone.adm backbone.adm.crans.org
322 HostName backbone.adm.crans.org
326 Host backbone.wifi backbone.wifi.crans.org
327 HostName backbone.wifi.crans.org
331 Host batk-0 batk-0.crans.org
332 HostName batk-0.crans.org
335 Host cas auth login cas.crans.org login.crans.org auth.crans.org
336 HostName cas.crans.org
340 Host cas.adm cas.adm.crans.org
341 HostName cas.adm.crans.org
345 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
346 HostName charybde.crans.org
350 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
351 HostName charybde.adm.crans.org
355 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
356 HostName civet.crans.org
360 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
361 HostName civet.adm.crans.org
365 Host cochon.adm cochon.adm.crans.org
366 HostName cochon.adm.crans.org
370 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
371 HostName cochon.ferme.crans.org
375 Host cups cups.crans.org
376 HostName cups.crans.org
380 Host cups.adm cups.adm.crans.org
381 HostName cups.adm.crans.org
385 Host dhcp dhcp.crans.org
386 HostName dhcp.crans.org
390 Host dhcp-21 dhcp-21.crans.org
391 HostName dhcp-21.crans.org
395 Host dhcp.adm dhcp.adm.crans.org
396 HostName dhcp.adm.crans.org
400 Host dyson dyson.crans.org
401 HostName dyson.crans.org
405 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
406 HostName dyson.adm.crans.org
410 Host ethercalc ethercalc.crans.org
411 HostName ethercalc.crans.org
415 Host ethercalc.adm ethercalc.adm.crans.org
416 HostName ethercalc.adm.crans.org
420 Host freebox freebox.crans.org
421 HostName freebox.crans.org
426 HostName ft.crans.org
430 Host ft.adm ft.adm.crans.org
431 HostName ft.adm.crans.org
435 Host fy munin fy.crans.org munin.crans.org
436 HostName fy.crans.org
440 Host fy.adm fy.adm.crans.org
441 HostName fy.adm.crans.org
446 HostName fz.crans.org
450 Host fz.adm fz.adm.crans.org
451 HostName fz.adm.crans.org
455 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
456 HostName geet.crans.org
460 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
461 HostName geet.adm.crans.org
465 Host horde webmail horde.crans.org webmail.crans.org
466 HostName horde.crans.org
470 Host horde.adm horde.adm.crans.org
471 HostName horde.adm.crans.org
475 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
476 HostName irc.crans.org
480 Host irc.adm irc.adm.crans.org
481 HostName irc.adm.crans.org
485 Host isc isc.crans.org
486 HostName isc.crans.org
490 Host isc.adm isc.adm.crans.org
491 HostName isc.adm.crans.org
495 Host kdell kdell.crans.org
496 HostName kdell.crans.org
500 Host kdell.adm kdell.adm.crans.org
501 HostName kdell.adm.crans.org
505 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
506 HostName kenobi.crans.org
510 Host kenobi.adm kenobi.adm.crans.org
511 HostName kenobi.adm.crans.org
515 Host komaz komaz.crans.org
516 HostName komaz.crans.org
520 Host komaz-21 komaz-21.crans.org
521 HostName komaz-21.crans.org
525 Host komaz.adm komaz.adm.crans.org
526 HostName komaz.adm.crans.org
530 Host malloc malloc.crans.org
531 HostName malloc.crans.org
535 Host malloc.adm malloc.adm.crans.org
536 HostName malloc.adm.crans.org
540 Host mediadrop video mediadrop.crans.org video.crans.org
541 HostName mediadrop.crans.org
545 Host mediadrop.adm mediadrop.adm.crans.org
546 HostName mediadrop.adm.crans.org
550 Host nat64 nat64.crans.org
551 HostName nat64.crans.org
555 Host nat64.adm nat64.adm.crans.org
556 HostName nat64.adm.crans.org
560 Host nem nem.crans.org
561 HostName nem.crans.org
565 Host nem.adm nem.adm.crans.org
566 HostName nem.adm.crans.org
570 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
571 HostName news.crans.org
575 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
576 HostName news.adm.crans.org
580 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
581 HostName niomniom.crans.org
585 Host niomniom.adm niomniom.adm.crans.org
586 HostName niomniom.adm.crans.org
590 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
591 HostName o2.crans.org
595 Host o2.adm o2.adm.crans.org
596 HostName o2.adm.crans.org
600 Host odlyd odlyd.crans.org
601 HostName odlyd.crans.org
605 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
606 HostName odlyd.adm.crans.org
610 Host odlyd.wifi odlyd.wifi.crans.org
611 HostName odlyd.wifi.crans.org
615 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
616 HostName oie.crans.org
620 Host oie.adm oie.adm.crans.org
621 HostName oie.adm.crans.org
625 Host omnomnom omnomnom.crans.org
626 HostName omnomnom.crans.org
630 Host omnomnom.adm omnomnom.adm.crans.org
631 HostName omnomnom.adm.crans.org
635 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
636 HostName owl.crans.org
640 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
641 HostName owl.adm.crans.org
645 Host owncloud owncloud.crans.org
646 HostName owncloud.crans.org
650 Host owncloud.adm owncloud.adm.crans.org
651 HostName owncloud.adm.crans.org
655 Host pea pea.crans.org
656 HostName pea.crans.org
660 Host pea.adm pea.adm.crans.org
661 HostName pea.adm.crans.org
665 Host pegase pegase.crans.org
666 HostName pegase.crans.org
670 Host puppet puppet.crans.org
671 HostName puppet.crans.org
675 Host puppet.adm puppet.adm.crans.org
676 HostName puppet.adm.crans.org
680 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
681 HostName redisdead.crans.org
685 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
686 HostName redisdead.adm.crans.org
690 Host rezosup rezosup.crans.org
691 HostName rezosup.crans.org
695 Host roundcube roundcube.crans.org
696 HostName roundcube.crans.org
700 Host roundcube.adm roundcube.adm.crans.org
701 HostName roundcube.adm.crans.org
705 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
706 HostName routeur.crans.org
710 Host routeur-21 routeur-21.crans.org
711 HostName routeur-21.crans.org
715 Host routeur.adm routeur.adm.crans.org
716 HostName routeur.adm.crans.org
720 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
721 HostName sable.crans.org
725 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
726 HostName sable.adm.crans.org
730 Host sogo sogo.crans.org
731 HostName sogo.crans.org
735 Host sogo.adm sogo.adm.crans.org
736 HostName sogo.adm.crans.org
740 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
741 HostName soyouz.crans.org
745 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
746 HostName soyouz.adm.crans.org
750 Host ssh2 mosh ssh2.crans.org mosh.crans.org
751 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
752 # pour passer à travers les blocages de ports (443 = https)
753 HostName 138.231.136.2
758 Host stun-secondary stun-secondary.crans.org
759 HostName stun-secondary.crans.org
763 Host template template.crans.org
764 HostName template.crans.org
768 Host template.adm template.adm.crans.org
769 HostName template.adm.crans.org
773 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
774 HostName thot.crans.org
778 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
779 HostName thot.adm.crans.org
783 Host titanic titanic.crans.org
784 HostName titanic.crans.org
788 Host titanic.adm titanic.adm.crans.org
789 HostName titanic.adm.crans.org
793 Host tracker todo tracker.crans.org todo.crans.org
794 HostName tracker.crans.org
798 Host tracker.adm tracker.adm.crans.org
799 HostName tracker.adm.crans.org
803 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
804 HostName vo.crans.org
808 Host vo-eth0 vo-eth0.crans.org
809 HostName vo-eth0.crans.org
813 Host vo.adm vo.adm.crans.org
814 HostName vo.adm.crans.org
818 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
819 HostName xmpp.crans.org
823 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
824 HostName xmpp.adm.crans.org
828 Host ytrap-llatsni ytrap-llatsni.crans.org
829 HostName ytrap-llatsni.crans.org
833 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
834 HostName ytrap-llatsni.adm.crans.org
838 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
839 HostName zamok.crans.org
843 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
844 HostName zamok.adm.crans.org
849 # +-------------------------+
850 # | Serveurs Cr@ns adm-only |
851 # +-------------------------+
852 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
853 # d'où la ProxyCommand
855 Host babar.adm babar babar babar.adm.crans.org
856 HostName babar.adm.crans.org
859 ProxyCommand ssh sable.crans.org -W %h:%p
861 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
862 HostName bcfg2.adm.crans.org
865 ProxyCommand ssh sable.crans.org -W %h:%p
867 Host eap.adm eap eap eap.adm.crans.org
868 HostName eap.adm.crans.org
871 ProxyCommand ssh sable.crans.org -W %h:%p
873 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
874 HostName ft-ilo.adm.crans.org
877 ProxyCommand ssh sable.crans.org -W %h:%p
878 HostKeyAlgorithms ssh-rsa
880 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
881 HostName fx-ilo.adm.crans.org
884 ProxyCommand ssh sable.crans.org -W %h:%p
885 HostKeyAlgorithms ssh-rsa
887 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
888 HostName fy-ilo.adm.crans.org
891 ProxyCommand ssh sable.crans.org -W %h:%p
892 HostKeyAlgorithms ssh-rsa
894 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
895 HostName fz-ilo.adm.crans.org
898 ProxyCommand ssh sable.crans.org -W %h:%p
899 HostKeyAlgorithms ssh-rsa
901 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
902 HostName kdell-idrac.adm.crans.org
905 ProxyCommand ssh sable.crans.org -W %h:%p
907 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
908 HostName komaz-ilo.adm.crans.org
911 ProxyCommand ssh sable.crans.org -W %h:%p
912 HostKeyAlgorithms ssh-rsa
914 Host odlyd-ilo.adm odlyd-ilo odlyd-ilo odlyd-ilo.adm.crans.org
915 HostName odlyd-ilo.adm.crans.org
918 ProxyCommand ssh sable.crans.org -W %h:%p
919 HostKeyAlgorithms ssh-rsa
921 Host radius.adm radius radius radius.adm.crans.org
922 HostName radius.adm.crans.org
925 ProxyCommand ssh sable.crans.org -W %h:%p
927 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
928 HostName sable-ilo.adm.crans.org
931 ProxyCommand ssh sable.crans.org -W %h:%p
932 HostKeyAlgorithms ssh-rsa
934 Host slon.adm slon slon slon.adm.crans.org
935 HostName slon.adm.crans.org
938 ProxyCommand ssh sable.crans.org -W %h:%p
940 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
941 HostName vert.adm.crans.org
944 ProxyCommand ssh sable.crans.org -W %h:%p
946 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
947 HostName zbee-idrac.adm.crans.org
950 ProxyCommand ssh sable.crans.org -W %h:%p
952 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
953 HostName zbee.adm.crans.org
956 ProxyCommand ssh sable.crans.org -W %h:%p
962 # Accessibles aux membres de l'équipe d'admin de FedeRez
964 # Actuellement down, mais on ne sait jamais
965 Host nautilus nautilus.federez.net
966 HostName nautilus.federez.net
970 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
971 HostName baldrick.federez.net
975 Host quigon quigon.federez.net
976 HostName quigon.federez.net
980 Host polygon polygon.federez.net
981 HostName polygon.federez.net
985 Host hexagon hexagon.federez.net
986 HostName hexagon.federez.net
991 # +-------------------+
992 # | Serveurs de l'ENS |
993 # +-------------------+
994 # Accessibles aux élèves de l'ENS
996 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
997 HostName tselin.clietu.ens-cachan.fr
999 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1002 HostName tselin2.clietu.ens-cachan.fr
1004 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1006 Host tahines.ens-cachan.fr tahines2 tahines
1007 HostName tahines.ens-cachan.fr
1011 # +------------------+
1012 # | Département info |
1013 # +------------------+
1014 # Machines du département informatique de l'ENSC
1017 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1018 #HostName 138.231.36.60
1019 HostName ssh.dptinfo.ens-cachan.fr
1023 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1024 # Sinon on crée une boucle
1025 Host *.dptinfo !ssh.dptinfo
1026 HostName %h.ens-cachan.fr
1028 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1031 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1034 ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
1042 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1043 HostName mars.lbpa.ens-cachan.fr
1045 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1052 # Homes montées mais != passerelle
1053 Host lri acces.lri ssh.lri acces.lri.fr
1054 HostName acces.lri.fr
1058 # Passerelle d'entrée, utilisable que par clé
1059 Host pl-ssh pl-ssh.lri.fr
1060 HostName pl-ssh.lri.fr
1061 PasswordAuthentication no
1065 Host labo lri30-13 lri30-13.lri.fr
1066 HostName lri30-13.lri.fr
1069 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1071 Host hal hal.labo 129.175.30.228
1072 HostName 129.175.30.228
1075 ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
1077 # END (utile pour éviter les merge conflicts)