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
218 Host vieux vm-vieux pot-vieux vieux.crans.org pot-vieux.crans.org
219 HostName vieux.crans.org
227 # Parce que j'y suis le bienvenu
229 Host linkki linkki.crans.org
230 HostName linkki.crans.org
233 Host ilma ilma.wifi ilma.wifi.crans.org
234 HostName ilma.wifi.crans.org
237 Host ruoska ruoska.crans.org
238 HostName ruoska.crans.org
245 # Parce que j'y suis le bienvenu
247 # Le ftp de Nit, gère A♡-TV.
248 Host power power.crans.org nit-git nit-git.crans.org
249 HostName power.crans.org
252 # Réplicat du wikoeur
253 Host genua acoeur.genua.fr
254 HostName acoeur.genua.fr
261 # Parce que le département A♡ a une raspberry PI et un serveur !
263 Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
264 HostName rasputin.crans.org
267 Host acoeur acoeur.crans.org
268 HostName acoeur.crans.org
272 # +-------------------+
273 # | Serveurs du Cr@ns |
274 # +-------------------+
275 # Accessible aux apprentis
276 # sauf zamok et ssh2, accessibles à tous les adhérents
278 Host appartement appartement.crans.org
279 HostName appartement.crans.org
283 Host apprentis apprentis.crans.org
284 HostName apprentis.crans.org
287 Host asterisk sip asterisk.crans.org sip.crans.org
288 HostName asterisk.crans.org
292 Host asterisk.adm asterisk.adm.crans.org
293 HostName asterisk.adm.crans.org
297 Host backbone backbone.crans.org
298 HostName backbone.crans.org
302 Host backbone.adm backbone.adm.crans.org
303 HostName backbone.adm.crans.org
307 Host backbone.wifi backbone.wifi.crans.org
308 HostName backbone.wifi.crans.org
312 Host batk-0 batk-0.crans.org
313 HostName batk-0.crans.org
316 Host canard.adm canard.adm.crans.org
317 HostName canard.adm.crans.org
321 Host canard.ferme canard canard.ferme.crans.org
322 HostName canard.ferme.crans.org
326 Host cas auth login cas.crans.org login.crans.org auth.crans.org
327 HostName cas.crans.org
331 Host cas.adm cas.adm.crans.org
332 HostName cas.adm.crans.org
336 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
337 HostName charybde.crans.org
341 Host git git.crans.org
342 HostName geet.crans.org
346 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
347 HostName charybde.adm.crans.org
351 Host civet.crans.org civet
352 HostName civet.crans.org
356 Host cochon.adm cochon.adm.crans.org
357 HostName cochon.adm.crans.org
361 Host cochon.ferme cochon cochon.ferme.crans.org
362 HostName cochon.ferme.crans.org
366 Host dhcp dhcp.crans.org
367 HostName dhcp.crans.org
371 Host dhcp-21 dhcp-21.crans.org
372 HostName dhcp-21.crans.org
376 Host dhcp.adm dhcp.adm.crans.org
377 HostName dhcp.adm.crans.org
381 Host dindon.adm dindon.adm.crans.org
382 HostName dindon.adm.crans.org
386 Host dindon.ferme dindon dindon.ferme.crans.org
387 HostName dindon.ferme.crans.org
391 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
392 HostName dyson.crans.org
396 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
397 HostName dyson.adm.crans.org
401 Host ethercalc ethercalc.crans.org
402 HostName ethercalc.crans.org
406 Host freebox freebox.crans.org
407 HostName freebox.crans.org
411 Host geet.crans.org git.crans.org geet git
412 HostName geet.crans.org
416 Host geet.adm.crans.org git.adm.crans.org geet.adm git.adm
417 HostName geet.adm.crans.org
421 Host gordon gordon.crans.org
422 HostName gordon.crans.org
426 Host gordon.adm gordon.adm.crans.org
427 HostName gordon.adm.crans.org
431 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
432 HostName gordon.wifi.crans.org
436 Host horde horde.crans.org
437 HostName horde.crans.org
441 Host horde.adm horde.adm.crans.org
442 HostName horde.adm.crans.org
446 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
447 HostName irc.crans.org
451 Host irc.adm irc.adm.crans.org
452 HostName irc.adm.crans.org
456 Host isc isc.crans.org
457 HostName isc.crans.org
461 Host isc.adm isc.adm.crans.org
462 HostName isc.adm.crans.org
466 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
467 HostName jouvence.crans.org
471 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
472 HostName jouvence.adm.crans.org
476 Host kdell kdell.crans.org
477 HostName kdell.crans.org
481 Host kdell.adm kdell.adm.crans.org
482 HostName kdell.adm.crans.org
486 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
487 HostName kenobi.crans.org
491 Host kenobi.adm kenobi.adm.crans.org
492 HostName kenobi.adm.crans.org
496 Host komaz komaz.crans.org
497 HostName komaz.crans.org
501 Host komaz-21 komaz-21.crans.org
502 HostName komaz-21.crans.org
506 Host komaz.adm komaz.adm.crans.org
507 HostName komaz.adm.crans.org
511 Host komaz.wifi komaz.wifi.crans.org
512 HostName komaz.wifi.crans.org
516 Host lapin.adm lapin.adm.crans.org
517 HostName lapin.adm.crans.org
521 Host lapin.ferme lapin lapin.ferme.crans.org
522 HostName lapin.ferme.crans.org
526 Host malloc malloc.crans.org
527 HostName malloc.crans.org
531 Host malloc.adm malloc.adm.crans.org
532 HostName malloc.adm.crans.org
536 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
537 HostName mdr.crans.org
541 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
542 HostName mdr.adm.crans.org
546 Host nat64 nat64.crans.org
547 HostName nat64.crans.org
551 Host nat64.adm nat64.adm.crans.org
552 HostName nat64.adm.crans.org
556 Host nem nem.crans.org
557 HostName nem.crans.org
561 Host nem.adm nem.adm.crans.org
562 HostName nem.adm.crans.org
566 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
567 HostName news.crans.org
571 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
572 HostName news.adm.crans.org
576 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
577 HostName niomniom.crans.org
581 Host niomniom.adm niomniom.adm.crans.org
582 HostName niomniom.adm.crans.org
586 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
587 HostName o2.crans.org
591 Host o2.adm o2.adm.crans.org
592 HostName o2.adm.crans.org
596 Host oie.adm oie.adm.crans.org
597 HostName oie.adm.crans.org
601 Host oie.ferme oie oie.ferme.crans.org
602 HostName oie.ferme.crans.org
606 Host ovh msn ovh.crans.org msn.crans.org
607 HostName ovh.crans.org
611 Host ovh.adm ovh.adm.crans.org
612 HostName ovh.adm.crans.org
616 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
617 HostName owl.crans.org
621 Host owl.adm owl.adm.crans.org
622 HostName owl.adm.crans.org
626 Host pegase pegase.crans.org
627 HostName pegase.crans.org
631 Host puppet puppet.crans.org
632 HostName puppet.crans.org
636 Host puppet.adm puppet.adm.crans.org
637 HostName puppet.adm.crans.org
641 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
642 HostName redisdead.crans.org
646 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
647 HostName redisdead.adm.crans.org
651 Host roundcube roundcube.crans.org
652 HostName roundcube.crans.org
656 Host roundcube.adm roundcube.adm.crans.org
657 HostName roundcube.adm.crans.org
661 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
662 HostName routeur.crans.org
666 Host routeur-21 routeur-21.crans.org
667 HostName routeur-21.crans.org
671 Host routeur.adm routeur.adm.crans.org
672 HostName routeur.adm.crans.org
676 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
677 HostName sable.crans.org
681 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
682 HostName sable.adm.crans.org
686 Host schrodingred schrodingred.crans.org
687 HostName schrodingred.crans.org
691 Host schrodingred.adm schrodingred.adm.crans.org
692 HostName schrodingred.adm.crans.org
696 Host sogo sogo.crans.org
697 HostName sogo.crans.org
701 Host sogo.adm sogo.adm.crans.org
702 HostName sogo.adm.crans.org
706 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
707 HostName soyoustart.crans.org
711 Host ssh2 ssh2.crans.org
712 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
713 # pour passer à travers les blocages de ports (443 = https)
714 HostName 138.231.136.2
719 Host template template.crans.org
720 HostName template.crans.org
724 Host template.adm template.adm.crans.org
725 HostName template.adm.crans.org
729 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
730 HostName thot.crans.org
734 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
735 HostName thot.adm.crans.org
739 Host titanic titanic.crans.org
740 HostName titanic.crans.org
744 Host titanic.adm titanic.adm.crans.org
745 HostName titanic.adm.crans.org
749 Host tracker todo tracker.crans.org todo.crans.org
750 HostName tracker.crans.org
754 Host tracker.adm tracker.adm.crans.org
755 HostName tracker.adm.crans.org
759 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
760 HostName vo.crans.org
764 Host vo.adm vo.adm.crans.org
765 HostName vo.adm.crans.org
769 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
770 HostName xmpp.crans.org
774 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
775 HostName xmpp.adm.crans.org
779 Host ytrap-llatsni ytrap-llatsni.crans.org
780 HostName ytrap-llatsni.crans.org
784 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
785 HostName ytrap-llatsni.adm.crans.org
789 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
790 HostName zamok.crans.org
794 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
795 HostName zamok.adm.crans.org
799 # Pas vraiment un serveur Cr@ns
800 Host rezosup rezosup.crans.org
801 HostName rezosup.crans.org
806 # +-------------------------+
807 # | Serveurs Cr@ns adm-only |
808 # +-------------------------+
809 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
810 # d'où la ProxyCommand
811 # fy et fz ne sont accessibles qu'aux nounous
813 Host alice.adm alice alice alice.adm.crans.org
814 HostName alice.adm.crans.org
817 ProxyCommand ssh sable.crans.org -W %h:%p
819 Host babar.adm babar babar babar.adm.crans.org
820 HostName babar.adm.crans.org
823 ProxyCommand ssh sable.crans.org -W %h:%p
825 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
826 HostName bcfg2.adm.crans.org
829 ProxyCommand ssh sable.crans.org -W %h:%p
831 Host daath.adm daath daath daath.adm.crans.org
832 HostName daath.adm.crans.org
835 ProxyCommand ssh sable.crans.org -W %h:%p
837 Host eap.adm eap eap eap.adm.crans.org
838 HostName eap.adm.crans.org
841 ProxyCommand ssh sable.crans.org -W %h:%p
843 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
844 HostName ft-ilo.adm.crans.org
847 ProxyCommand ssh sable.crans.org -W %h:%p
848 HostKeyAlgorithms ssh-rsa
850 Host ft.adm ft ft ft.adm.crans.org
851 HostName ft.crans.org
855 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
856 HostName fx-ilo.adm.crans.org
859 ProxyCommand ssh sable.crans.org -W %h:%p
860 HostKeyAlgorithms ssh-rsa
862 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
863 HostName fy-ilo.adm.crans.org
866 ProxyCommand ssh sable.crans.org -W %h:%p
867 HostKeyAlgorithms ssh-rsa
869 Host fy.adm fy fy fy.adm.crans.org
870 HostName fy.crans.org
873 ProxyCommand ssh sable.crans.org -W %h:%p
875 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
876 HostName fz-ilo.adm.crans.org
879 ProxyCommand ssh sable.crans.org -W %h:%p
880 HostKeyAlgorithms ssh-rsa
882 Host fz.adm fz fz fz.adm.crans.org
883 HostName fz.crans.org
886 ProxyCommand ssh sable.crans.org -W %h:%p
888 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
889 HostName kdell-idrac.adm.crans.org
892 ProxyCommand ssh sable.crans.org -W %h:%p
894 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
895 HostName komaz-ilo.adm.crans.org
898 ProxyCommand ssh sable.crans.org -W %h:%p
899 HostKeyAlgorithms ssh-rsa
901 Host pea.adm pea pea pea.adm.crans.org
902 HostName pea.adm.crans.org
905 ProxyCommand ssh sable.crans.org -W %h:%p
907 Host radius.adm radius radius radius.adm.crans.org
908 HostName radius.adm.crans.org
911 ProxyCommand ssh sable.crans.org -W %h:%p
913 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
914 HostName sable-ilo.adm.crans.org
917 ProxyCommand ssh sable.crans.org -W %h:%p
918 HostKeyAlgorithms ssh-rsa
920 Host slon.adm slon slon slon.adm.crans.org
921 HostName slon.adm.crans.org
924 ProxyCommand ssh sable.crans.org -W %h:%p
926 Host test42.adm test42 test42 test42.adm.crans.org
927 HostName test42.adm.crans.org
930 ProxyCommand ssh sable.crans.org -W %h:%p
932 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
933 HostName vert.adm.crans.org
936 ProxyCommand ssh sable.crans.org -W %h:%p
938 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
939 HostName zbee-idrac.adm.crans.org
942 ProxyCommand ssh sable.crans.org -W %h:%p
944 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
945 HostName zbee.adm.crans.org
948 ProxyCommand ssh sable.crans.org -W %h:%p
954 # Accessibles aux membres de l'équipe d'admin de FedeRez
956 # Actuellement down, mais on ne sait jamais
957 Host nautilus nautilus.federez.net
958 HostName nautilus.federez.net
962 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
963 HostName baldrick.federez.net
967 Host quigon quigon.federez.net
968 HostName quigon.federez.net
972 Host polygon polygon.federez.net
973 HostName polygon.federez.net
977 Host hexagon hexagon.federez.net
978 HostName hexagon.federez.net
983 # +-------------------+
984 # | Serveurs de l'ENS |
985 # +-------------------+
986 # Accessibles aux élèves de l'ENS
988 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
989 HostName tselin.clietu.ens-cachan.fr
991 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
994 HostName tselin2.clietu.ens-cachan.fr
996 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
998 Host tahines.ens-cachan.fr tahines2 tahines
999 HostName tahines.ens-cachan.fr
1006 # Parce que je me suis inscrit à la DSI d'Ulm
1008 Host clipper clipper.ens.fr
1009 HostName clipper.ens.fr
1012 Host anat anat.ens.fr
1013 HostName anat.ens.fr
1017 Host horus horus.ens.fr
1018 HostName horus.ens.fr
1020 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1022 Host neith neith.ens.fr
1023 HostName neith.ens.fr
1025 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1027 Host sas sas.eleves.ens.fr
1028 HostName sas.eleves.ens.fr
1032 # +------------------+
1033 # | Département info |
1034 # +------------------+
1035 # Machines du département informatique de l'ENSC
1037 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1038 #HostName 138.231.36.60
1039 HostName ssh.dptinfo.ens-cachan.fr
1043 Host dptinfo*.dptinfo.ens-cachan.fr
1046 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1050 HostName dpt%h.dptinfo.ens-cachan.fr
1052 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1059 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1060 HostName mars.lbpa.ens-cachan.fr
1062 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1064 # END (utile pour éviter les merge conflicts)