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
268 # +-------------------+
269 # | Serveurs du Cr@ns |
270 # +-------------------+
271 # Accessible aux apprentis
272 # sauf zamok et ssh2, accessibles à tous les adhérents
274 Host alice alice.crans.org
275 HostName alice.crans.org
279 Host alice.adm alice.adm.crans.org
280 HostName alice.adm.crans.org
284 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
285 HostName appartement.crans.org
289 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
290 HostName apprentis.crans.org
293 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
294 HostName asterisk.crans.org
298 Host asterisk.adm asterisk.adm.crans.org
299 HostName asterisk.adm.crans.org
303 Host backbone backbone.crans.org
304 HostName backbone.crans.org
308 Host backbone.adm backbone.adm.crans.org
309 HostName backbone.adm.crans.org
313 Host bakdaur bakdaur.crans.org
314 HostName bakdaur.crans.org
318 Host bakdaur.adm bakdaur.adm.crans.org
319 HostName bakdaur.adm.crans.org
323 Host backbone.wifi backbone.wifi.crans.org
324 HostName backbone.wifi.crans.org
328 Host batk-0 batk-0.crans.org
329 HostName batk-0.crans.org
332 Host cas cas-srv auth login cas.crans.org login.crans.org auth.crans.org cas-srv.crans.org
333 HostName cas-srv.crans.org
337 Host cas.adm cas.adm.crans.org
338 HostName cas.adm.crans.org
342 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
343 HostName charybde.crans.org
347 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
348 HostName charybde.adm.crans.org
352 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
353 HostName civet.crans.org
357 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
358 HostName civet.adm.crans.org
362 Host cochon.adm cochon.adm.crans.org
363 HostName cochon.adm.crans.org
367 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
368 HostName cochon.ferme.crans.org
372 Host cups cups.crans.org
373 HostName cups.crans.org
377 Host cups.adm cups.adm.crans.org
378 HostName cups.adm.crans.org
382 Host dhcp dhcp.crans.org
383 HostName dhcp.crans.org
387 Host dhcp-21 dhcp-21.crans.org
388 HostName dhcp-21.crans.org
392 Host dhcp.adm dhcp.adm.crans.org
393 HostName dhcp.adm.crans.org
397 Host discourse discourse-srv discourse.crans.org discourse-srv.crans.org
398 HostName discourse-srv.crans.org
402 Host dyson dyson.crans.org
403 HostName dyson.crans.org
407 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
408 HostName dyson.adm.crans.org
412 Host ethercalc ethercalc-srv ethercalc.crans.org ethercalc-srv.crans.org
413 HostName ethercalc-srv.crans.org
417 Host ethercalc.adm ethercalc.adm.crans.org
418 HostName ethercalc.adm.crans.org
422 Host freebox freebox.crans.org
423 HostName freebox.crans.org
427 Host frontdaur frontdaur.crans.org
428 HostName frontdaur.crans.org
432 Host frontdaur.adm frontdaur.adm.crans.org
433 HostName frontdaur.adm.crans.org
438 HostName ft.crans.org
442 Host ft.adm ft.adm.crans.org
443 HostName ft.adm.crans.org
447 Host fy munin icinga2 weathermap fy.crans.org munin.crans.org icinga2.crans.org weathermap.crans.org
448 HostName fy.crans.org
452 Host fy.adm fy.adm.crans.org
453 HostName fy.adm.crans.org
458 HostName fz.crans.org
462 Host fz.adm fz.adm.crans.org
463 HostName fz.adm.crans.org
467 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
468 HostName geet.crans.org
472 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
473 HostName geet.adm.crans.org
477 Host horde horde-srv webmail horde.crans.org horde-srv.crans.org webmail.crans.org
478 HostName horde.crans.org
482 Host horde.adm horde.adm.crans.org
483 HostName horde.adm.crans.org
487 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
488 HostName irc.crans.org
492 Host irc.adm irc.adm.crans.org
493 HostName irc.adm.crans.org
497 Host isc isc.crans.org
498 HostName isc.crans.org
502 Host isc.adm isc.adm.crans.org
503 HostName isc.adm.crans.org
507 Host kdell kdell.crans.org
508 HostName kdell.crans.org
512 Host kdell.adm kdell.adm.crans.org
513 HostName kdell.adm.crans.org
517 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
518 HostName kenobi.crans.org
522 Host kenobi.adm kenobi.adm.crans.org
523 HostName kenobi.adm.crans.org
527 Host komaz komaz.crans.org
528 HostName komaz.crans.org
532 Host komaz-21 komaz-21.crans.org
533 HostName komaz-21.crans.org
537 Host komaz.adm komaz.adm.crans.org
538 HostName komaz.adm.crans.org
542 Host malloc malloc.crans.org
543 HostName malloc.crans.org
547 Host malloc.adm malloc.adm.crans.org
548 HostName malloc.adm.crans.org
552 Host mediadrop mediadrop-srv video mediadrop.crans.org video.crans.org mediadrop-srv.crans.org video-srv.crans.org
553 HostName mediadrop.crans.org
557 Host mediadrop.adm mediadrop.adm.crans.org
558 HostName mediadrop.adm.crans.org
562 Host nat64 nat64.crans.org
563 HostName nat64.crans.org
567 Host nat64.adm nat64.adm.crans.org
568 HostName nat64.adm.crans.org
572 Host nem nem.crans.org
573 HostName nem.crans.org
577 Host nem.adm nem.adm.crans.org
578 HostName nem.adm.crans.org
582 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
583 HostName news.crans.org
587 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
588 HostName news.adm.crans.org
592 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
593 HostName niomniom.crans.org
597 Host niomniom.adm niomniom.adm.crans.org
598 HostName niomniom.adm.crans.org
602 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
603 HostName o2.crans.org
607 Host o2.adm o2.adm.crans.org
608 HostName o2.adm.crans.org
612 Host odlyd odlyd.crans.org
613 HostName odlyd.crans.org
617 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
618 HostName odlyd.adm.crans.org
622 Host odlyd.wifi odlyd.wifi.crans.org
623 HostName odlyd.wifi.crans.org
627 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
628 HostName oie.crans.org
632 Host oie.adm oie.adm.crans.org
633 HostName oie.adm.crans.org
637 Host omnomnom omnomnom.crans.org
638 HostName omnomnom.crans.org
642 Host omnomnom.adm omnomnom.adm.crans.org
643 HostName omnomnom.adm.crans.org
647 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
648 HostName owl.crans.org
652 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
653 HostName owl.adm.crans.org
657 Host owncloud owcloud-srv owncloud.crans.org owncloud-srv.crans.org
658 HostName owncloud.crans.org
662 Host owncloud.adm owncloud.adm.crans.org
663 HostName owncloud.adm.crans.org
667 Host pea pea.crans.org
668 HostName pea.crans.org
672 Host pea.adm pea.adm.crans.org
673 HostName pea.adm.crans.org
677 Host pegase pegase.crans.org
678 HostName pegase.crans.org
682 Host proxy proxy.crans.org
683 HostName proxy.crans.org
687 Host puppet puppet.crans.org
688 HostName puppet.crans.org
692 Host puppet.adm puppet.adm.crans.org
693 HostName puppet.adm.crans.org
697 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
698 HostName redisdead.crans.org
702 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
703 HostName redisdead.adm.crans.org
707 Host rezosup rezosup.crans.org
708 HostName rezosup.crans.org
712 Host roundcube roundcube.crans.org
713 HostName roundcube.crans.org
717 Host roundcube.adm roundcube.adm.crans.org
718 HostName roundcube.adm.crans.org
722 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
723 HostName routeur.crans.org
727 Host routeur-21 routeur-21.crans.org
728 HostName routeur-21.crans.org
732 Host routeur.adm routeur.adm.crans.org
733 HostName routeur.adm.crans.org
737 Host sable dns sable.crans.org dns.crans.org
738 HostName sable.crans.org
742 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
743 HostName sable.adm.crans.org
747 Host sogo sogo-srv sogo.crans.org sogo-srv.crans.org
748 HostName sogo.crans.org
752 Host sogo.adm sogo.adm.crans.org
753 HostName sogo.adm.crans.org
757 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
758 HostName soyouz.crans.org
762 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
763 HostName soyouz.adm.crans.org
767 Host ssh2 mosh ssh2.crans.org mosh.crans.org
768 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
769 # pour passer à travers les blocages de ports (443 = https)
770 HostName 138.231.136.2
775 Host stitch stitch.crans.org
776 HostName stitch.crans.org
780 Host stitch.adm stitch.adm.crans.org
781 HostName stitch.adm.crans.org
785 Host stun-secondary stun-secondary.crans.org
786 HostName stun-secondary.crans.org
790 Host template template.crans.org
791 HostName template.crans.org
795 Host template.adm template.adm.crans.org
796 HostName template.adm.crans.org
800 Host test1 test1.crans.org
801 HostName test1.crans.org
805 Host test2 test2.crans.org
806 HostName test2.crans.org
810 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
811 HostName thot.crans.org
815 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
816 HostName thot.adm.crans.org
820 Host titanic titanic.crans.org
821 HostName titanic.crans.org
825 Host titanic.adm titanic.adm.crans.org
826 HostName titanic.adm.crans.org
830 Host tracker tracker todo tracker.crans.org todo.crans.org phabricator phabricattor.crans.org
831 HostName tracker.crans.org
835 Host tracker.adm tracker.adm.crans.org
836 HostName tracker.adm.crans.org
840 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
841 HostName vo.crans.org
845 Host vo-eth0 vo-eth0.crans.org
846 HostName vo-eth0.crans.org
850 Host vo.adm vo.adm.crans.org
851 HostName vo.adm.crans.org
855 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
856 HostName xmpp.crans.org
860 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
861 HostName xmpp.adm.crans.org
865 Host ytrap-llatsni ytrap-llatsni.crans.org
866 HostName ytrap-llatsni.crans.org
870 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
871 HostName ytrap-llatsni.adm.crans.org
875 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
876 HostName zamok.crans.org
880 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
881 HostName zamok.adm.crans.org
886 # +-------------------------+
887 # | Serveurs Cr@ns adm-only |
888 # +-------------------------+
889 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
890 # d'où la ProxyCommand
892 Host babar.adm babar babar babar.adm.crans.org
893 HostName babar.adm.crans.org
896 ProxyCommand ssh sable.crans.org -W %h:%p
898 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
899 HostName bcfg2.adm.crans.org
902 ProxyCommand ssh sable.crans.org -W %h:%p
904 Host eap.adm eap eap eap.adm.crans.org
905 HostName eap.adm.crans.org
908 ProxyCommand ssh sable.crans.org -W %h:%p
910 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
911 HostName kdell-idrac.adm.crans.org
913 ProxyCommand ssh sable.crans.org -W %h:%p
916 HostName %h.adm.crans.org
918 PasswordAuthentication yes
919 ChallengeResponseAuthentication no
920 GSSAPIAuthentication no
921 HostbasedAuthentication no
922 PubkeyAuthentication no
927 KexAlgorithms diffie-hellman-group1-sha1
928 MACs hmac-md5,hmac-sha1
929 Ciphers aes128-cbc,3des-cbc
930 HostKeyAlgorithms ssh-rsa,ssh-dss
931 ProxyCommand ssh sable.crans.org -W %h:%p
933 Host radius.adm radius radius radius.adm.crans.org
934 HostName radius.adm.crans.org
937 ProxyCommand ssh sable.crans.org -W %h:%p
939 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
940 HostName sable-ilo.adm.crans.org
943 ProxyCommand ssh sable.crans.org -W %h:%p
944 HostKeyAlgorithms ssh-rsa
946 Host slon.adm slon slon slon.adm.crans.org
947 HostName slon.adm.crans.org
950 ProxyCommand ssh sable.crans.org -W %h:%p
952 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
953 HostName vert.adm.crans.org
956 ProxyCommand ssh sable.crans.org -W %h:%p
958 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
959 HostName zbee-idrac.adm.crans.org
962 ProxyCommand ssh sable.crans.org -W %h:%p
964 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
965 HostName zbee.adm.crans.org
968 ProxyCommand ssh sable.crans.org -W %h:%p
974 # Accessibles aux membres de l'équipe d'admin de FedeRez
976 Host hexagon hexagon.federez.net
977 HostName hexagon.federez.net
981 Host quigon quigon.federez.net
982 HostName quigon.federez.net
986 Host nonagon nonagon.federez.net
987 HostName nonagon.federez.net
991 Host octogon octogon.federez.net
992 HostName octogon.federez.net
996 Host pentagon pentagon.federez.net
997 HostName pentagon.federez.net
1001 Host parangon parangon.federez.net
1002 HostName parangon.federez.net
1006 Host federez-test federez-test.federez.net
1007 HostName federez-test.federez.net
1015 # Réseau IRC des grandes écoles
1017 Host oswaft oswaft.rezosup.net
1018 HostName oswaft.rezosup.net
1022 # +-------------------+
1023 # | Serveurs de l'ENS |
1024 # +-------------------+
1025 # Accessibles aux élèves de l'ENS
1027 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
1028 HostName tselin.clietu.ens-cachan.fr
1030 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1033 HostName tselin2.clietu.ens-cachan.fr
1035 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1037 Host tahines.ens-cachan.fr tahines2 tahines
1038 HostName tahines.ens-cachan.fr
1042 # +------------------+
1043 # | Département info |
1044 # +------------------+
1045 # Machines du département informatique de l'ENSC
1048 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1049 #HostName 138.231.36.60
1050 HostName ssh.dptinfo.ens-cachan.fr
1054 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1055 # Sinon on crée une boucle
1056 Host *.dptinfo !ssh.dptinfo
1057 HostName %h.ens-cachan.fr
1059 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1062 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1065 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1073 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1074 HostName mars.lbpa.ens-cachan.fr
1076 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1078 # END (utile pour éviter les merge conflicts)