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
173 # pimeys.fr = 176.31.106.206
175 Host pimeys pimeys.fr
181 # becue.eu = 62.210.178.115
188 # +-----------------+
189 # | Machines du BDE |
190 # +-----------------+
191 # Parce que j'étais respo-info Makiavé[list]
193 Host kfet kfet.crans.org kfet1
194 HostName kfet.crans.org
197 Host kfet2 kfet2.crans.org
198 HostName kfet2.crans.org
201 Host bde bde.crans.org note mininote invitation invitations note.crans.org mininote.crans.org invitations.crans.org invitation.crans.org
202 HostName note.crans.org
206 Host bde2 bde2.crans.org note2
207 HostName bde2.crans.org
211 Host bde3 bde3.crans.org
212 HostName bde3.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
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 une raspberry PI et un serveur !
265 Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
266 HostName rasputin.crans.org
269 Host acoeur acoeur.crans.org
270 HostName acoeur.crans.org
274 # +-------------------+
275 # | Serveurs du Cr@ns |
276 # +-------------------+
277 # Accessible aux apprentis
278 # sauf zamok et ssh2, accessibles à tous les adhérents
280 Host appartement appartement.crans.org
281 HostName appartement.crans.org
285 Host apprentis apprentis.crans.org
286 HostName apprentis.crans.org
289 Host asterisk sip asterisk.crans.org sip.crans.org
290 HostName asterisk.crans.org
294 Host asterisk.adm asterisk.adm.crans.org
295 HostName asterisk.adm.crans.org
299 Host backbone backbone.crans.org
300 HostName backbone.crans.org
304 Host backbone.adm backbone.adm.crans.org
305 HostName backbone.adm.crans.org
309 Host backbone.wifi backbone.wifi.crans.org
310 HostName backbone.wifi.crans.org
314 Host batk-0 batk-0.crans.org
315 HostName batk-0.crans.org
318 Host canard.adm canard.adm.crans.org
319 HostName canard.adm.crans.org
323 Host canard.ferme canard canard.ferme.crans.org
324 HostName canard.ferme.crans.org
328 Host cas auth login cas.crans.org login.crans.org auth.crans.org
329 HostName cas.crans.org
333 Host cas.adm cas.adm.crans.org
334 HostName cas.adm.crans.org
338 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
339 HostName charybde.crans.org
343 Host git git.crans.org
344 HostName geet.crans.org
348 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
349 HostName charybde.adm.crans.org
353 Host civet.crans.org civet
354 HostName civet.crans.org
358 Host cochon.adm cochon.adm.crans.org
359 HostName cochon.adm.crans.org
363 Host cochon.ferme cochon cochon.ferme.crans.org
364 HostName cochon.ferme.crans.org
368 Host dhcp dhcp.crans.org
369 HostName dhcp.crans.org
373 Host dhcp-21 dhcp-21.crans.org
374 HostName dhcp-21.crans.org
378 Host dhcp.adm dhcp.adm.crans.org
379 HostName dhcp.adm.crans.org
383 Host dindon.adm dindon.adm.crans.org
384 HostName dindon.adm.crans.org
388 Host dindon.ferme dindon dindon.ferme.crans.org
389 HostName dindon.ferme.crans.org
393 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
394 HostName dyson.crans.org
398 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
399 HostName dyson.adm.crans.org
403 Host ethercalc ethercalc.crans.org
404 HostName ethercalc.crans.org
408 Host freebox freebox.crans.org
409 HostName freebox.crans.org
413 Host geet.crans.org git.crans.org geet git
414 HostName geet.crans.org
418 Host geet.adm.crans.org git.adm.crans.org geet.adm git.adm
419 HostName geet.adm.crans.org
423 Host gordon gordon.crans.org
424 HostName gordon.crans.org
428 Host gordon.adm gordon.adm.crans.org
429 HostName gordon.adm.crans.org
433 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
434 HostName gordon.wifi.crans.org
438 Host horde horde.crans.org
439 HostName horde.crans.org
443 Host horde.adm horde.adm.crans.org
444 HostName horde.adm.crans.org
448 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
449 HostName irc.crans.org
453 Host irc.adm irc.adm.crans.org
454 HostName irc.adm.crans.org
458 Host isc isc.crans.org
459 HostName isc.crans.org
463 Host isc.adm isc.adm.crans.org
464 HostName isc.adm.crans.org
468 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
469 HostName jouvence.crans.org
473 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
474 HostName jouvence.adm.crans.org
478 Host kdell kdell.crans.org
479 HostName kdell.crans.org
483 Host kdell.adm kdell.adm.crans.org
484 HostName kdell.adm.crans.org
488 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
489 HostName kenobi.crans.org
493 Host kenobi.adm kenobi.adm.crans.org
494 HostName kenobi.adm.crans.org
498 Host komaz komaz.crans.org
499 HostName komaz.crans.org
503 Host komaz-21 komaz-21.crans.org
504 HostName komaz-21.crans.org
508 Host komaz.adm komaz.adm.crans.org
509 HostName komaz.adm.crans.org
513 Host komaz.wifi komaz.wifi.crans.org
514 HostName komaz.wifi.crans.org
518 Host lapin.adm lapin.adm.crans.org
519 HostName lapin.adm.crans.org
523 Host lapin.ferme lapin lapin.ferme.crans.org
524 HostName lapin.ferme.crans.org
528 Host malloc malloc.crans.org
529 HostName malloc.crans.org
533 Host malloc.adm malloc.adm.crans.org
534 HostName malloc.adm.crans.org
538 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
539 HostName mdr.crans.org
543 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
544 HostName mdr.adm.crans.org
548 Host nat64 nat64.crans.org
549 HostName nat64.crans.org
553 Host nat64.adm nat64.adm.crans.org
554 HostName nat64.adm.crans.org
558 Host nem nem.crans.org
559 HostName nem.crans.org
563 Host nem.adm nem.adm.crans.org
564 HostName nem.adm.crans.org
568 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
569 HostName news.crans.org
573 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
574 HostName news.adm.crans.org
578 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
579 HostName niomniom.crans.org
583 Host niomniom.adm niomniom.adm.crans.org
584 HostName niomniom.adm.crans.org
588 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
589 HostName o2.crans.org
593 Host o2.adm o2.adm.crans.org
594 HostName o2.adm.crans.org
598 Host oie.adm oie.adm.crans.org
599 HostName oie.adm.crans.org
603 Host oie.ferme oie oie.ferme.crans.org
604 HostName oie.ferme.crans.org
608 Host ovh msn ovh.crans.org msn.crans.org
609 HostName ovh.crans.org
613 Host ovh.adm ovh.adm.crans.org
614 HostName ovh.adm.crans.org
618 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
619 HostName owl.crans.org
623 Host owl.adm owl.adm.crans.org
624 HostName owl.adm.crans.org
628 Host pegase pegase.crans.org
629 HostName pegase.crans.org
633 Host puppet puppet.crans.org
634 HostName puppet.crans.org
638 Host puppet.adm puppet.adm.crans.org
639 HostName puppet.adm.crans.org
643 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
644 HostName redisdead.crans.org
648 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
649 HostName redisdead.adm.crans.org
653 Host roundcube roundcube.crans.org
654 HostName roundcube.crans.org
658 Host roundcube.adm roundcube.adm.crans.org
659 HostName roundcube.adm.crans.org
663 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
664 HostName routeur.crans.org
668 Host routeur-21 routeur-21.crans.org
669 HostName routeur-21.crans.org
673 Host routeur.adm routeur.adm.crans.org
674 HostName routeur.adm.crans.org
678 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
679 HostName sable.crans.org
683 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
684 HostName sable.adm.crans.org
688 Host schrodingred schrodingred.crans.org
689 HostName schrodingred.crans.org
693 Host schrodingred.adm schrodingred.adm.crans.org
694 HostName schrodingred.adm.crans.org
698 Host sogo sogo.crans.org
699 HostName sogo.crans.org
703 Host sogo.adm sogo.adm.crans.org
704 HostName sogo.adm.crans.org
708 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
709 HostName soyoustart.crans.org
713 Host ssh2 ssh2.crans.org
714 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
715 # pour passer à travers les blocages de ports (443 = https)
716 HostName 138.231.136.2
721 Host template template.crans.org
722 HostName template.crans.org
726 Host template.adm template.adm.crans.org
727 HostName template.adm.crans.org
731 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
732 HostName thot.crans.org
736 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
737 HostName thot.adm.crans.org
741 Host titanic titanic.crans.org
742 HostName titanic.crans.org
746 Host titanic.adm titanic.adm.crans.org
747 HostName titanic.adm.crans.org
751 Host tracker todo tracker.crans.org todo.crans.org
752 HostName tracker.crans.org
756 Host tracker.adm tracker.adm.crans.org
757 HostName tracker.adm.crans.org
761 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
762 HostName vo.crans.org
766 Host vo.adm vo.adm.crans.org
767 HostName vo.adm.crans.org
771 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
772 HostName xmpp.crans.org
776 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
777 HostName xmpp.adm.crans.org
781 Host ytrap-llatsni ytrap-llatsni.crans.org
782 HostName ytrap-llatsni.crans.org
786 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
787 HostName ytrap-llatsni.adm.crans.org
791 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
792 HostName zamok.crans.org
796 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
797 HostName zamok.adm.crans.org
801 # Pas vraiment un serveur Cr@ns
802 Host rezosup rezosup.crans.org
803 HostName rezosup.crans.org
808 # +-------------------------+
809 # | Serveurs Cr@ns adm-only |
810 # +-------------------------+
811 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
812 # d'où la ProxyCommand
813 # fy et fz ne sont accessibles qu'aux nounous
815 Host alice.adm alice alice alice.adm.crans.org
816 HostName alice.adm.crans.org
819 ProxyCommand ssh sable.crans.org -W %h:%p
821 Host babar.adm babar babar babar.adm.crans.org
822 HostName babar.adm.crans.org
825 ProxyCommand ssh sable.crans.org -W %h:%p
827 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
828 HostName bcfg2.adm.crans.org
831 ProxyCommand ssh sable.crans.org -W %h:%p
833 Host daath.adm daath daath daath.adm.crans.org
834 HostName daath.adm.crans.org
837 ProxyCommand ssh sable.crans.org -W %h:%p
839 Host eap.adm eap eap eap.adm.crans.org
840 HostName eap.adm.crans.org
843 ProxyCommand ssh sable.crans.org -W %h:%p
845 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
846 HostName ft-ilo.adm.crans.org
849 ProxyCommand ssh sable.crans.org -W %h:%p
850 HostKeyAlgorithms ssh-rsa
852 Host ft.adm ft ft ft.adm.crans.org
853 HostName ft.crans.org
857 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
858 HostName fx-ilo.adm.crans.org
861 ProxyCommand ssh sable.crans.org -W %h:%p
862 HostKeyAlgorithms ssh-rsa
864 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
865 HostName fy-ilo.adm.crans.org
868 ProxyCommand ssh sable.crans.org -W %h:%p
869 HostKeyAlgorithms ssh-rsa
871 Host fy.adm fy fy fy.adm.crans.org
872 HostName fy.crans.org
875 ProxyCommand ssh sable.crans.org -W %h:%p
877 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
878 HostName fz-ilo.adm.crans.org
881 ProxyCommand ssh sable.crans.org -W %h:%p
882 HostKeyAlgorithms ssh-rsa
884 Host fz.adm fz fz fz.adm.crans.org
885 HostName fz.crans.org
888 ProxyCommand ssh sable.crans.org -W %h:%p
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 pea.adm pea pea pea.adm.crans.org
904 HostName pea.adm.crans.org
907 ProxyCommand ssh sable.crans.org -W %h:%p
909 Host radius.adm radius radius radius.adm.crans.org
910 HostName radius.adm.crans.org
913 ProxyCommand ssh sable.crans.org -W %h:%p
915 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
916 HostName sable-ilo.adm.crans.org
919 ProxyCommand ssh sable.crans.org -W %h:%p
920 HostKeyAlgorithms ssh-rsa
922 Host slon.adm slon slon slon.adm.crans.org
923 HostName slon.adm.crans.org
926 ProxyCommand ssh sable.crans.org -W %h:%p
928 Host test42.adm test42 test42 test42.adm.crans.org
929 HostName test42.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
1008 # Parce que je me suis inscrit à la DSI d'Ulm
1010 Host clipper clipper.ens.fr
1011 HostName clipper.ens.fr
1014 Host anat anat.ens.fr
1015 HostName anat.ens.fr
1019 Host horus horus.ens.fr
1020 HostName horus.ens.fr
1022 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1024 Host neith neith.ens.fr
1025 HostName neith.ens.fr
1027 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1029 Host sas sas.eleves.ens.fr
1030 HostName sas.eleves.ens.fr
1034 # +------------------+
1035 # | Département info |
1036 # +------------------+
1037 # Machines du département informatique de l'ENSC
1039 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1040 #HostName 138.231.36.60
1041 HostName ssh.dptinfo.ens-cachan.fr
1045 Host dptinfo*.dptinfo.ens-cachan.fr
1048 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1052 HostName dpt%h.dptinfo.ens-cachan.fr
1054 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1061 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1062 HostName mars.lbpa.ens-cachan.fr
1064 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1066 # END (utile pour éviter les merge conflicts)