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", "loginBDE" et "loginENS" par
16 #------------------------------------------------------------------------------
18 # Les options qui ne sont pas indentées sont activées pour toutes les connexions
19 # Mêmes celles qui ne correspondent à aucun bloc plus bas
20 # Activer la compression des données transmises lorsque c'est possible
23 #~# # Afficher la fingerprint du serveur sous la forme d'un ASCII art
26 # Ne pas hasher les noms des machines auxquelles on se connecte dans
27 # le fichier known_hosts
30 # Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
31 # et du fingerprint présenté par le serveur
34 # Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
36 # Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
37 # sur la connexion, pour la garder vivante.
38 ServerAliveInterval 60
39 # Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
42 # Les options suivantes apparaissent dans les blocs
43 # Host = commence un bloc avec les noms qui utiliseront ce bloc
44 # HostName = nom réellement utilisé pour se connecter au serveur (ou son IP)
45 # User = nom d'utilisateur distant
46 # Port = port de connexion (pour override le port 22)
47 # ForwardAgent = forwarder l'agent ssh sur la machine
48 # (il vaut mieux qu'elle et ses administrateurs soient de confiance)
49 # ProxyCommand = pour passer par un autre serveur intermédiaire
50 # (pour un serveur qui ne peut pas être contacté directement)
52 UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_hosts_dptinfo
58 Host cerebro.crans.org cerebro
59 HostName cerebro.crans.org
63 Host eva.crans.org eva eeepc
64 HostName eva.crans.org
82 ProxyCommand ssh home.b2moo.fr -W %h:%p
88 ProxyCommand ssh home.b2moo.fr -W %h:%p
90 Host cabal.crans.org cabal.crans
91 HostName cabal.crans.org
101 HostName 192.168.1.63
105 Host cabal.home cabal
106 HostName 192.168.1.81
109 ProxyCommand ssh home.b2moo.fr -W %h:%p
111 Host cabalw.home cabalw
112 HostName 192.168.1.63
115 ProxyCommand ssh home.b2moo.fr -W %h:%p
117 Host viki viki.wifi viki.wifi.crans.org
118 HostName viki.wifi.crans.org
122 Host gladys home colloc home.b2moo.fr
123 HostName home.b2moo.fr
128 HostName 192.168.1.18
132 # Les bots sur cerebro
134 HostName cerebro.crans.org
138 HostName cerebro.crans.org
142 HostName cerebro.crans.org
146 HostName cerebro.crans.org
150 HostName cerebro.crans.org
153 Host salesman Salesman
154 HostName cerebro.crans.org
158 HostName cerebro.crans.org
161 Host saturnin Saturnin
162 HostName cerebro.crans.org
166 HostName cerebro.crans.org
174 # Serveur dédié online.net
175 # pimeys.fr = 62.210.178.115
177 Host pimeys pimeys.fr becue.eu
186 # Parce que j'y suis le bienvenu
188 Host linkki linkki.crans.org
189 HostName linkki.crans.org
192 Host ilma ilma.wifi ilma.wifi.crans.org
193 HostName ilma.wifi.crans.org
196 Host ruoska ruoska.crans.org
197 HostName ruoska.crans.org
204 # Parce que j'y suis le bienvenu
207 Host power power.crans.org nit-git nit-git.crans.org
208 HostName power.crans.org
215 # Parce que le département A♡ a un serveur
217 Host acoeur acoeur.crans.org
218 HostName acoeur.crans.org
223 # +-----------------+
224 # | Serveurs du BDE |
225 # +-----------------+
226 # Serveurs du BDE accessibles aux respos info
228 Host kfet kfet.crans.org kfet1
229 HostName kfet.crans.org
233 Host kfet-bureau kfet-bureau.crans.org bureau bureau-bde
234 HostName kfet.crans.org
238 Host bde2 bde2-virt note note-virt kfet-ics doc-bde ldap-bde bde2.crans.org bde2-virt.crans.org note.crans.org
239 HostName bde2-virt.crans.org
243 Host bde3-virt digicode bde3-virt.crans.org
244 HostName bde3-virt.crans.org
248 Host bde3 bde3.crans.org
249 HostName bde3.crans.org
253 Host bde-test bde-test-virt note-test note-dev bde-test.crans.org bde-test-virt.crans.org note-test.crans.org
254 HostName bde-test-virt.crans.org
258 Host sauron sauron.crans.org
259 HostName sauron.crans.org
263 Host med zavoyarde med.crans.org zavoyarde.crans.org
264 HostName zavoyarde.crans.org
269 # +-------------------+
270 # | Serveurs du Cr@ns |
271 # +-------------------+
272 # Accessible aux apprentis
273 # sauf zamok et ssh2, accessibles à tous les adhérents
275 Host alice alice.crans.org
276 HostName alice.crans.org
280 Host alice.adm alice.adm.crans.org
281 HostName alice.adm.crans.org
285 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
286 HostName appartement.crans.org
290 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
291 HostName apprentis.crans.org
294 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
295 HostName asterisk.crans.org
299 Host asterisk.adm asterisk.adm.crans.org
300 HostName asterisk.adm.crans.org
304 Host backbone backbone.crans.org
305 HostName backbone.crans.org
309 Host backbone.adm backbone.adm.crans.org
310 HostName backbone.adm.crans.org
314 Host bakdaur bakdaur.crans.org
315 HostName bakdaur.crans.org
319 Host bakdaur.adm bakdaur.adm.crans.org
320 HostName bakdaur.adm.crans.org
324 Host backbone.wifi backbone.wifi.crans.org
325 HostName backbone.wifi.crans.org
329 Host batk-0 batk-0.crans.org
330 HostName batk-0.crans.org
333 Host cas cas-srv auth login cas.crans.org login.crans.org auth.crans.org cas-srv.crans.org
334 HostName cas-srv.crans.org
338 Host cas.adm cas.adm.crans.org
339 HostName cas.adm.crans.org
343 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
344 HostName charybde.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 rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
354 HostName civet.crans.org
358 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
359 HostName civet.adm.crans.org
363 Host cochon.adm cochon.adm.crans.org
364 HostName cochon.adm.crans.org
368 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
369 HostName cochon.ferme.crans.org
373 Host cups cups.crans.org
374 HostName cups.crans.org
378 Host cups.adm cups.adm.crans.org
379 HostName cups.adm.crans.org
383 Host dhcp dhcp.crans.org
384 HostName dhcp.crans.org
388 Host dhcp-21 dhcp-21.crans.org
389 HostName dhcp-21.crans.org
393 Host dhcp.adm dhcp.adm.crans.org
394 HostName dhcp.adm.crans.org
398 Host discourse discourse-srv discourse.crans.org discourse-srv.crans.org
399 HostName discourse-srv.crans.org
403 Host dyson dyson.crans.org
404 HostName dyson.crans.org
408 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
409 HostName dyson.adm.crans.org
413 Host ethercalc ethercalc-srv ethercalc.crans.org ethercalc-srv.crans.org
414 HostName ethercalc-srv.crans.org
418 Host ethercalc.adm ethercalc.adm.crans.org
419 HostName ethercalc.adm.crans.org
423 Host freebox freebox.crans.org
424 HostName freebox.crans.org
428 Host frontdaur frontdaur.crans.org
429 HostName frontdaur.crans.org
433 Host frontdaur.adm frontdaur.adm.crans.org
434 HostName frontdaur.adm.crans.org
439 HostName ft.crans.org
443 Host ft.adm ft.adm.crans.org
444 HostName ft.adm.crans.org
448 Host fy munin icinga2 weathermap fy.crans.org munin.crans.org icinga2.crans.org weathermap.crans.org
449 HostName fy.crans.org
453 Host fy.adm fy.adm.crans.org
454 HostName fy.adm.crans.org
459 HostName fz.crans.org
463 Host fz.adm fz.adm.crans.org
464 HostName fz.adm.crans.org
468 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
469 HostName geet.crans.org
473 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
474 HostName geet.adm.crans.org
478 Host horde horde-srv webmail horde.crans.org horde-srv.crans.org webmail.crans.org
479 HostName horde.crans.org
483 Host horde.adm horde.adm.crans.org
484 HostName horde.adm.crans.org
488 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
489 HostName irc.crans.org
493 Host irc.adm irc.adm.crans.org
494 HostName irc.adm.crans.org
498 Host isc isc.crans.org
499 HostName isc.crans.org
503 Host isc.adm isc.adm.crans.org
504 HostName isc.adm.crans.org
508 Host kdell kdell.crans.org
509 HostName kdell.crans.org
513 Host kdell.adm kdell.adm.crans.org
514 HostName kdell.adm.crans.org
518 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
519 HostName kenobi.crans.org
523 Host kenobi.adm kenobi.adm.crans.org
524 HostName kenobi.adm.crans.org
528 Host komaz komaz.crans.org
529 HostName komaz.crans.org
533 Host komaz-21 komaz-21.crans.org
534 HostName komaz-21.crans.org
538 Host komaz.adm komaz.adm.crans.org
539 HostName komaz.adm.crans.org
543 Host malloc malloc.crans.org
544 HostName malloc.crans.org
548 Host malloc.adm malloc.adm.crans.org
549 HostName malloc.adm.crans.org
553 Host mediadrop mediadrop-srv video mediadrop.crans.org video.crans.org mediadrop-srv.crans.org video-srv.crans.org
554 HostName mediadrop.crans.org
558 Host mediadrop.adm mediadrop.adm.crans.org
559 HostName mediadrop.adm.crans.org
563 Host nat64 nat64.crans.org
564 HostName nat64.crans.org
568 Host nat64.adm nat64.adm.crans.org
569 HostName nat64.adm.crans.org
573 Host nem nem.crans.org
574 HostName nem.crans.org
578 Host nem.adm nem.adm.crans.org
579 HostName nem.adm.crans.org
583 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
584 HostName news.crans.org
588 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
589 HostName news.adm.crans.org
593 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
594 HostName niomniom.crans.org
598 Host niomniom.adm niomniom.adm.crans.org
599 HostName niomniom.adm.crans.org
603 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
604 HostName o2.crans.org
608 Host o2.adm o2.adm.crans.org
609 HostName o2.adm.crans.org
613 Host odlyd odlyd.crans.org
614 HostName odlyd.crans.org
618 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
619 HostName odlyd.adm.crans.org
623 Host odlyd.wifi odlyd.wifi.crans.org
624 HostName odlyd.wifi.crans.org
628 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
629 HostName oie.crans.org
633 Host oie.adm oie.adm.crans.org
634 HostName oie.adm.crans.org
638 Host omnomnom omnomnom.crans.org
639 HostName omnomnom.crans.org
643 Host omnomnom.adm omnomnom.adm.crans.org
644 HostName omnomnom.adm.crans.org
648 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
649 HostName owl.crans.org
653 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
654 HostName owl.adm.crans.org
658 Host owncloud owcloud-srv owncloud.crans.org owncloud-srv.crans.org
659 HostName owncloud.crans.org
663 Host owncloud.adm owncloud.adm.crans.org
664 HostName owncloud.adm.crans.org
668 Host pea pea.crans.org
669 HostName pea.crans.org
673 Host pea.adm pea.adm.crans.org
674 HostName pea.adm.crans.org
678 Host pegase pegase.crans.org
679 HostName pegase.crans.org
683 Host proxy proxy.crans.org
684 HostName proxy.crans.org
688 Host puppet puppet.crans.org
689 HostName puppet.crans.org
693 Host puppet.adm puppet.adm.crans.org
694 HostName puppet.adm.crans.org
698 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
699 HostName redisdead.crans.org
703 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
704 HostName redisdead.adm.crans.org
708 Host rezosup rezosup.crans.org
709 HostName rezosup.crans.org
713 Host roundcube roundcube.crans.org
714 HostName roundcube.crans.org
718 Host roundcube.adm roundcube.adm.crans.org
719 HostName roundcube.adm.crans.org
723 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
724 HostName routeur.crans.org
728 Host routeur-21 routeur-21.crans.org
729 HostName routeur-21.crans.org
733 Host routeur.adm routeur.adm.crans.org
734 HostName routeur.adm.crans.org
738 Host sable dns sable.crans.org dns.crans.org
739 HostName sable.crans.org
743 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
744 HostName sable.adm.crans.org
748 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
749 HostName soyouz.crans.org
753 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
754 HostName soyouz.adm.crans.org
758 Host ssh2 mosh ssh2.crans.org mosh.crans.org
759 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
760 # pour passer à travers les blocages de ports (443 = https)
761 HostName 138.231.136.2
766 Host stitch stitch.crans.org
767 HostName stitch.crans.org
771 Host stitch.adm stitch.adm.crans.org
772 HostName stitch.adm.crans.org
776 Host stun-secondary stun-secondary.crans.org
777 HostName stun-secondary.crans.org
781 Host template template.crans.org
782 HostName template.crans.org
786 Host template.adm template.adm.crans.org
787 HostName template.adm.crans.org
791 Host test1 test1.crans.org
792 HostName test1.crans.org
796 Host test2 test2.crans.org
797 HostName test2.crans.org
801 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
802 HostName thot.crans.org
806 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
807 HostName thot.adm.crans.org
811 Host titanic titanic.crans.org
812 HostName titanic.crans.org
816 Host titanic.adm titanic.adm.crans.org
817 HostName titanic.adm.crans.org
821 Host tracker tracker todo tracker.crans.org todo.crans.org phabricator phabricattor.crans.org
822 HostName tracker.crans.org
826 Host tracker.adm tracker.adm.crans.org
827 HostName tracker.adm.crans.org
831 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
832 HostName vo.crans.org
836 Host vo-eth0 vo-eth0.crans.org
837 HostName vo-eth0.crans.org
841 Host vo.adm vo.adm.crans.org
842 HostName vo.adm.crans.org
846 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
847 HostName xmpp.crans.org
851 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
852 HostName xmpp.adm.crans.org
856 Host ytrap-llatsni ytrap-llatsni.crans.org
857 HostName ytrap-llatsni.crans.org
861 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
862 HostName ytrap-llatsni.adm.crans.org
866 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 pot-vieux.crans.org
867 HostName zamok.crans.org
871 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
872 HostName zamok.adm.crans.org
877 # +-------------------------+
878 # | Serveurs Cr@ns adm-only |
879 # +-------------------------+
880 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
881 # d'où la ProxyCommand
883 Host babar.adm babar babar babar.adm.crans.org
884 HostName babar.adm.crans.org
887 ProxyCommand ssh sable.crans.org -W %h:%p
889 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
890 HostName bcfg2.adm.crans.org
893 ProxyCommand ssh sable.crans.org -W %h:%p
895 Host eap.adm eap eap eap.adm.crans.org
896 HostName eap.adm.crans.org
899 ProxyCommand ssh sable.crans.org -W %h:%p
901 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
902 HostName kdell-idrac.adm.crans.org
904 ProxyCommand ssh sable.crans.org -W %h:%p
907 HostName %h.adm.crans.org
909 PasswordAuthentication yes
910 ChallengeResponseAuthentication no
911 GSSAPIAuthentication no
912 HostbasedAuthentication no
913 PubkeyAuthentication no
918 KexAlgorithms diffie-hellman-group1-sha1
919 MACs hmac-md5,hmac-sha1
920 Ciphers aes128-cbc,3des-cbc
921 HostKeyAlgorithms ssh-rsa,ssh-dss
922 ProxyCommand ssh sable.crans.org -W %h:%p
924 Host radius.adm radius radius radius.adm.crans.org
925 HostName radius.adm.crans.org
928 ProxyCommand ssh sable.crans.org -W %h:%p
930 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
931 HostName sable-ilo.adm.crans.org
934 ProxyCommand ssh sable.crans.org -W %h:%p
935 HostKeyAlgorithms ssh-rsa
937 Host slon.adm slon slon slon.adm.crans.org
938 HostName slon.adm.crans.org
941 ProxyCommand ssh sable.crans.org -W %h:%p
943 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
944 HostName vert.adm.crans.org
947 ProxyCommand ssh sable.crans.org -W %h:%p
949 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
950 HostName zbee-idrac.adm.crans.org
953 ProxyCommand ssh sable.crans.org -W %h:%p
955 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
956 HostName zbee.adm.crans.org
959 ProxyCommand ssh sable.crans.org -W %h:%p
965 # Accessibles aux membres de l'équipe d'admin de FedeRez
967 Host hexagon hexagon.federez.net
968 HostName hexagon.federez.net
972 Host quigon quigon.federez.net
973 HostName quigon.federez.net
977 Host nonagon nonagon.federez.net
978 HostName nonagon.federez.net
982 Host octogon octogon.federez.net
983 HostName octogon.federez.net
987 Host pentagon pentagon.federez.net
988 HostName pentagon.federez.net
992 Host parangon parangon.federez.net
993 HostName parangon.federez.net
997 Host federez-test federez-test.federez.net
998 HostName federez-test.federez.net
1006 # Réseau IRC des grandes écoles
1008 Host oswaft oswaft.rezosup.net
1009 HostName oswaft.rezosup.net
1013 # +-------------------+
1014 # | Serveurs de l'ENS |
1015 # +-------------------+
1016 # Accessibles aux élèves de l'ENS
1018 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
1019 HostName tselin.clietu.ens-cachan.fr
1021 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1024 HostName tselin2.clietu.ens-cachan.fr
1026 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1028 Host tahines.ens-cachan.fr tahines2 tahines
1029 HostName tahines.ens-cachan.fr
1033 # +------------------+
1034 # | Département info |
1035 # +------------------+
1036 # Machines du département informatique de l'ENSC
1039 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1040 #HostName 138.231.36.60
1041 HostName ssh.dptinfo.ens-cachan.fr
1045 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1046 # Sinon on crée une boucle
1047 Host *.dptinfo !ssh.dptinfo
1048 HostName %h.ens-cachan.fr
1050 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1053 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1056 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1064 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1065 HostName mars.lbpa.ens-cachan.fr
1067 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1069 # END (utile pour éviter les merge conflicts)