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
190 Host kfet2 kfet2.crans.org
191 HostName kfet2.crans.org
194 Host bde bde.crans.org note mininote invitation invitations note.crans.org mininote.crans.org invitations.crans.org invitation.crans.org
195 HostName note.crans.org
199 Host bde2 bde2.crans.org note2
200 HostName bde2.crans.org
204 Host bde3 bde3.crans.org
205 HostName bde3.crans.org
209 Host video videobde videobde.crans.org
210 HostName videobde.crans.org
214 Host bureau bureau-bde bureau-bde.crans.org
215 HostName bureau-bde.crans.org
222 # Parce que j'y suis le bienvenu
224 Host linkki linkki.crans.org
225 HostName linkki.crans.org
228 Host ilma ilma.wifi ilma.wifi.crans.org
229 HostName ilma.wifi.crans.org
232 Host ruoska ruoska.crans.org
233 HostName ruoska.crans.org
240 # Parce que j'y suis le bienvenu
242 # Le ftp de Nit, gère A♡-TV.
243 Host power power.crans.org nit-git nit-git.crans.org
244 HostName power.crans.org
247 # Réplicat du wikoeur
248 Host genua acoeur.genua.fr
249 HostName acoeur.genua.fr
256 # Parce que le département A♡ a une raspberry PI et un serveur !
258 Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
259 HostName rasputin.crans.org
262 Host acoeur acoeur.crans.org
263 HostName acoeur.crans.org
267 # +-------------------+
268 # | Serveurs du Cr@ns |
269 # +-------------------+
270 # Accessible aux apprentis
271 # sauf zamok et ssh2, accessibles à tous les adhérents
273 Host appartement appartement.crans.org
274 HostName appartement.crans.org
278 Host apprentis apprentis.crans.org
279 HostName apprentis.crans.org
282 Host asterisk sip asterisk.crans.org sip.crans.org
283 HostName asterisk.crans.org
287 Host asterisk.adm asterisk.adm.crans.org
288 HostName asterisk.adm.crans.org
292 Host backbone backbone.crans.org
293 HostName backbone.crans.org
297 Host backbone.adm backbone.adm.crans.org
298 HostName backbone.adm.crans.org
302 Host backbone.wifi backbone.wifi.crans.org
303 HostName backbone.wifi.crans.org
307 Host batk-0 batk-0.crans.org
308 HostName batk-0.crans.org
311 Host canard.adm canard.adm.crans.org
312 HostName canard.adm.crans.org
316 Host canard.ferme canard canard.ferme.crans.org
317 HostName canard.ferme.crans.org
321 Host cas auth login cas.crans.org login.crans.org auth.crans.org
322 HostName cas.crans.org
326 Host cas.adm cas.adm.crans.org
327 HostName cas.adm.crans.org
331 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
332 HostName charybde.crans.org
336 Host git git.crans.org
337 HostName geet.crans.org
341 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
342 HostName charybde.adm.crans.org
346 Host civet.crans.org civet
347 HostName civet.crans.org
351 Host cochon.adm cochon.adm.crans.org
352 HostName cochon.adm.crans.org
356 Host cochon.ferme cochon cochon.ferme.crans.org
357 HostName cochon.ferme.crans.org
361 Host dhcp dhcp.crans.org
362 HostName dhcp.crans.org
366 Host dhcp-21 dhcp-21.crans.org
367 HostName dhcp-21.crans.org
371 Host dhcp.adm dhcp.adm.crans.org
372 HostName dhcp.adm.crans.org
376 Host dindon.adm dindon.adm.crans.org
377 HostName dindon.adm.crans.org
381 Host dindon.ferme dindon dindon.ferme.crans.org
382 HostName dindon.ferme.crans.org
386 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
387 HostName dyson.crans.org
391 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
392 HostName dyson.adm.crans.org
396 Host ethercalc ethercalc.crans.org
397 HostName ethercalc.crans.org
401 Host freebox freebox.crans.org
402 HostName freebox.crans.org
406 Host geet.crans.org git.crans.org geet git
407 HostName geet.crans.org
411 Host geet.adm.crans.org git.adm.crans.org geet.adm git.adm
412 HostName geet.adm.crans.org
416 Host gordon gordon.crans.org
417 HostName gordon.crans.org
421 Host gordon.adm gordon.adm.crans.org
422 HostName gordon.adm.crans.org
426 Host gordon.wifi nectaris.wifi ragnarok.wifi vpn wifi-update gordon.wifi.crans.org wifi-update.crans.org nectaris.wifi.crans.org vpn.crans.org ragnarok.wifi.crans.org
427 HostName gordon.wifi.crans.org
431 Host horde horde.crans.org
432 HostName horde.crans.org
436 Host horde.adm horde.adm.crans.org
437 HostName horde.adm.crans.org
441 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
442 HostName irc.crans.org
446 Host irc.adm irc.adm.crans.org
447 HostName irc.adm.crans.org
451 Host isc isc.crans.org
452 HostName isc.crans.org
456 Host isc.adm isc.adm.crans.org
457 HostName isc.adm.crans.org
461 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
462 HostName jouvence.crans.org
466 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
467 HostName jouvence.adm.crans.org
471 Host kdell kdell.crans.org
472 HostName kdell.crans.org
476 Host kdell.adm kdell.adm.crans.org
477 HostName kdell.adm.crans.org
481 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
482 HostName kenobi.crans.org
486 Host kenobi.adm kenobi.adm.crans.org
487 HostName kenobi.adm.crans.org
491 Host komaz komaz.crans.org
492 HostName komaz.crans.org
496 Host komaz-21 komaz-21.crans.org
497 HostName komaz-21.crans.org
501 Host komaz.adm komaz.adm.crans.org
502 HostName komaz.adm.crans.org
506 Host komaz.wifi komaz.wifi.crans.org
507 HostName komaz.wifi.crans.org
511 Host lapin.adm lapin.adm.crans.org
512 HostName lapin.adm.crans.org
516 Host lapin.ferme lapin lapin.ferme.crans.org
517 HostName lapin.ferme.crans.org
521 Host malloc malloc.crans.org
522 HostName malloc.crans.org
526 Host malloc.adm malloc.adm.crans.org
527 HostName malloc.adm.crans.org
531 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
532 HostName mdr.crans.org
536 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
537 HostName mdr.adm.crans.org
541 Host nat64 nat64.crans.org
542 HostName nat64.crans.org
546 Host nat64.adm nat64.adm.crans.org
547 HostName nat64.adm.crans.org
551 Host nem nem.crans.org
552 HostName nem.crans.org
556 Host nem.adm nem.adm.crans.org
557 HostName nem.adm.crans.org
561 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
562 HostName news.crans.org
566 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
567 HostName news.adm.crans.org
571 Host niomniom autostatus ca crans.ens-cachan.fr crans.org doc federez i-p install-party map webalizer wifi wiki wikipedia www niomniom.crans.org wiki.crans.org www.crans.org install-party.crans.org autostatus.crans.org federez.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
572 HostName niomniom.crans.org
576 Host niomniom.adm niomniom.adm.crans.org
577 HostName niomniom.adm.crans.org
581 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
582 HostName o2.crans.org
586 Host o2.adm o2.adm.crans.org
587 HostName o2.adm.crans.org
591 Host oie.adm oie.adm.crans.org
592 HostName oie.adm.crans.org
596 Host oie.ferme oie oie.ferme.crans.org
597 HostName oie.ferme.crans.org
601 Host ovh msn ovh.crans.org msn.crans.org
602 HostName ovh.crans.org
606 Host ovh.adm ovh.adm.crans.org
607 HostName ovh.adm.crans.org
611 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
612 HostName owl.crans.org
616 Host owl.adm owl.adm.crans.org
617 HostName owl.adm.crans.org
621 Host pegase pegase.crans.org
622 HostName pegase.crans.org
626 Host puppet puppet.crans.org
627 HostName puppet.crans.org
631 Host puppet.adm puppet.adm.crans.org
632 HostName puppet.adm.crans.org
636 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
637 HostName redisdead.crans.org
641 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
642 HostName redisdead.adm.crans.org
646 Host roundcube roundcube.crans.org
647 HostName roundcube.crans.org
651 Host roundcube.adm roundcube.adm.crans.org
652 HostName roundcube.adm.crans.org
656 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
657 HostName routeur.crans.org
661 Host routeur-21 routeur-21.crans.org
662 HostName routeur-21.crans.org
666 Host routeur.adm routeur.adm.crans.org
667 HostName routeur.adm.crans.org
671 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
672 HostName sable.crans.org
676 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
677 HostName sable.adm.crans.org
681 Host schrodingred schrodingred.crans.org
682 HostName schrodingred.crans.org
686 Host schrodingred.adm schrodingred.adm.crans.org
687 HostName schrodingred.adm.crans.org
691 Host sogo sogo.crans.org
692 HostName sogo.crans.org
696 Host sogo.adm sogo.adm.crans.org
697 HostName sogo.adm.crans.org
701 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
702 HostName soyoustart.crans.org
706 Host ssh2 ssh2.crans.org
707 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
708 # pour passer à travers les blocages de ports (443 = https)
709 HostName 138.231.136.2
714 Host template template.crans.org
715 HostName template.crans.org
719 Host template.adm template.adm.crans.org
720 HostName template.adm.crans.org
724 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
725 HostName thot.crans.org
729 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
730 HostName thot.adm.crans.org
734 Host titanic titanic.crans.org
735 HostName titanic.crans.org
739 Host titanic.adm titanic.adm.crans.org
740 HostName titanic.adm.crans.org
744 Host tracker todo tracker.crans.org todo.crans.org
745 HostName tracker.crans.org
749 Host tracker.adm tracker.adm.crans.org
750 HostName tracker.adm.crans.org
754 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
755 HostName vo.crans.org
759 Host vo.adm vo.adm.crans.org
760 HostName vo.adm.crans.org
764 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
765 HostName xmpp.crans.org
769 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
770 HostName xmpp.adm.crans.org
774 Host ytrap-llatsni ytrap-llatsni.crans.org
775 HostName ytrap-llatsni.crans.org
779 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
780 HostName ytrap-llatsni.adm.crans.org
784 Host zamok accounts bda-paris bleu blogs clubs.ens-cachan.fr factures impression intranet mysql perso 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
785 HostName zamok.crans.org
789 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
790 HostName zamok.adm.crans.org
794 # Pas vraiment un serveur Cr@ns
795 Host rezosup rezosup.crans.org
796 HostName rezosup.crans.org
801 # +-------------------------+
802 # | Serveurs Cr@ns adm-only |
803 # +-------------------------+
804 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
805 # d'où la ProxyCommand
806 # fy et fz ne sont accessibles qu'aux nounous
808 Host alice.adm alice alice alice.adm.crans.org
809 HostName alice.adm.crans.org
812 ProxyCommand ssh sable.crans.org -W %h:%p
814 Host babar.adm babar babar babar.adm.crans.org
815 HostName babar.adm.crans.org
818 ProxyCommand ssh sable.crans.org -W %h:%p
820 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
821 HostName bcfg2.adm.crans.org
824 ProxyCommand ssh sable.crans.org -W %h:%p
826 Host daath.adm daath daath daath.adm.crans.org
827 HostName daath.adm.crans.org
830 ProxyCommand ssh sable.crans.org -W %h:%p
832 Host eap.adm eap eap eap.adm.crans.org
833 HostName eap.adm.crans.org
836 ProxyCommand ssh sable.crans.org -W %h:%p
838 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
839 HostName ft-ilo.adm.crans.org
842 ProxyCommand ssh sable.crans.org -W %h:%p
843 HostKeyAlgorithms ssh-rsa
845 Host ft.adm ft ft ft.adm.crans.org
846 HostName ft.crans.org
850 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
851 HostName fx-ilo.adm.crans.org
854 ProxyCommand ssh sable.crans.org -W %h:%p
855 HostKeyAlgorithms ssh-rsa
857 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
858 HostName fy-ilo.adm.crans.org
861 ProxyCommand ssh sable.crans.org -W %h:%p
862 HostKeyAlgorithms ssh-rsa
864 Host fy.adm fy fy fy.adm.crans.org
865 HostName fy.crans.org
868 ProxyCommand ssh sable.crans.org -W %h:%p
870 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
871 HostName fz-ilo.adm.crans.org
874 ProxyCommand ssh sable.crans.org -W %h:%p
875 HostKeyAlgorithms ssh-rsa
877 Host fz.adm fz fz fz.adm.crans.org
878 HostName fz.crans.org
881 ProxyCommand ssh sable.crans.org -W %h:%p
883 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
884 HostName kdell-idrac.adm.crans.org
887 ProxyCommand ssh sable.crans.org -W %h:%p
889 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
890 HostName komaz-ilo.adm.crans.org
893 ProxyCommand ssh sable.crans.org -W %h:%p
894 HostKeyAlgorithms ssh-rsa
896 Host pea.adm pea pea pea.adm.crans.org
897 HostName pea.adm.crans.org
900 ProxyCommand ssh sable.crans.org -W %h:%p
902 Host radius.adm radius radius radius.adm.crans.org
903 HostName radius.adm.crans.org
906 ProxyCommand ssh sable.crans.org -W %h:%p
908 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
909 HostName sable-ilo.adm.crans.org
912 ProxyCommand ssh sable.crans.org -W %h:%p
913 HostKeyAlgorithms ssh-rsa
915 Host slon.adm slon slon slon.adm.crans.org
916 HostName slon.adm.crans.org
919 ProxyCommand ssh sable.crans.org -W %h:%p
921 Host test42.adm test42 test42 test42.adm.crans.org
922 HostName test42.adm.crans.org
925 ProxyCommand ssh sable.crans.org -W %h:%p
927 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
928 HostName vert.adm.crans.org
931 ProxyCommand ssh sable.crans.org -W %h:%p
933 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
934 HostName zbee-idrac.adm.crans.org
937 ProxyCommand ssh sable.crans.org -W %h:%p
939 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
940 HostName zbee.adm.crans.org
943 ProxyCommand ssh sable.crans.org -W %h:%p
949 # Accessibles aux membres de l'équipe d'admin de FedeRez
951 # Actuellement down, mais on ne sait jamais
952 Host nautilus nautilus.federez.net
953 HostName nautilus.federez.net
957 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
958 HostName baldrick.federez.net
962 Host quigon quigon.federez.net
963 HostName quigon.federez.net
967 Host polygon polygon.federez.net
968 HostName polygon.federez.net
972 Host hexagon hexagon.federez.net
973 HostName hexagon.federez.net
978 # +-------------------+
979 # | Serveurs de l'ENS |
980 # +-------------------+
981 # Accessibles aux élèves de l'ENS
983 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
984 HostName tselin.clietu.ens-cachan.fr
986 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
989 HostName tselin2.clietu.ens-cachan.fr
991 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
993 Host tahines.ens-cachan.fr tahines2 tahines
994 HostName tahines.ens-cachan.fr
1001 # Parce que je me suis inscrit à la DSI d'Ulm
1003 Host clipper clipper.ens.fr
1004 HostName clipper.ens.fr
1007 Host anat anat.ens.fr
1008 HostName anat.ens.fr
1012 Host horus horus.ens.fr
1013 HostName horus.ens.fr
1015 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1017 Host neith neith.ens.fr
1018 HostName neith.ens.fr
1020 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1022 Host sas sas.eleves.ens.fr
1023 HostName sas.eleves.ens.fr
1027 # +------------------+
1028 # | Département info |
1029 # +------------------+
1030 # Machines du département informatique de l'ENSC
1032 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1033 #HostName 138.231.36.60
1034 HostName ssh.dptinfo.ens-cachan.fr
1038 Host dptinfo*.dptinfo.ens-cachan.fr
1041 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1045 HostName dpt%h.dptinfo.ens-cachan.fr
1047 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1054 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1055 HostName mars.lbpa.ens-cachan.fr
1057 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1059 # END (utile pour éviter les merge conflicts)