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 sogo sogo-srv sogo.crans.org sogo-srv.crans.org
749 HostName sogo.crans.org
753 Host sogo.adm sogo.adm.crans.org
754 HostName sogo.adm.crans.org
758 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
759 HostName soyouz.crans.org
763 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
764 HostName soyouz.adm.crans.org
768 Host ssh2 mosh ssh2.crans.org mosh.crans.org
769 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
770 # pour passer à travers les blocages de ports (443 = https)
771 HostName 138.231.136.2
776 Host stitch stitch.crans.org
777 HostName stitch.crans.org
781 Host stitch.adm stitch.adm.crans.org
782 HostName stitch.adm.crans.org
786 Host stun-secondary stun-secondary.crans.org
787 HostName stun-secondary.crans.org
791 Host template template.crans.org
792 HostName template.crans.org
796 Host template.adm template.adm.crans.org
797 HostName template.adm.crans.org
801 Host test1 test1.crans.org
802 HostName test1.crans.org
806 Host test2 test2.crans.org
807 HostName test2.crans.org
811 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
812 HostName thot.crans.org
816 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
817 HostName thot.adm.crans.org
821 Host titanic titanic.crans.org
822 HostName titanic.crans.org
826 Host titanic.adm titanic.adm.crans.org
827 HostName titanic.adm.crans.org
831 Host tracker tracker todo tracker.crans.org todo.crans.org phabricator phabricattor.crans.org
832 HostName tracker.crans.org
836 Host tracker.adm tracker.adm.crans.org
837 HostName tracker.adm.crans.org
841 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
842 HostName vo.crans.org
846 Host vo-eth0 vo-eth0.crans.org
847 HostName vo-eth0.crans.org
851 Host vo.adm vo.adm.crans.org
852 HostName vo.adm.crans.org
856 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
857 HostName xmpp.crans.org
861 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
862 HostName xmpp.adm.crans.org
866 Host ytrap-llatsni ytrap-llatsni.crans.org
867 HostName ytrap-llatsni.crans.org
871 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
872 HostName ytrap-llatsni.adm.crans.org
876 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
877 HostName zamok.crans.org
881 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
882 HostName zamok.adm.crans.org
887 # +-------------------------+
888 # | Serveurs Cr@ns adm-only |
889 # +-------------------------+
890 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
891 # d'où la ProxyCommand
893 Host babar.adm babar babar babar.adm.crans.org
894 HostName babar.adm.crans.org
897 ProxyCommand ssh sable.crans.org -W %h:%p
899 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
900 HostName bcfg2.adm.crans.org
903 ProxyCommand ssh sable.crans.org -W %h:%p
905 Host eap.adm eap eap eap.adm.crans.org
906 HostName eap.adm.crans.org
909 ProxyCommand ssh sable.crans.org -W %h:%p
911 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
912 HostName kdell-idrac.adm.crans.org
914 ProxyCommand ssh sable.crans.org -W %h:%p
917 HostName %h.adm.crans.org
919 PasswordAuthentication yes
920 ChallengeResponseAuthentication no
921 GSSAPIAuthentication no
922 HostbasedAuthentication no
923 PubkeyAuthentication no
928 KexAlgorithms diffie-hellman-group1-sha1
929 MACs hmac-md5,hmac-sha1
930 Ciphers aes128-cbc,3des-cbc
931 HostKeyAlgorithms ssh-rsa,ssh-dss
932 ProxyCommand ssh sable.crans.org -W %h:%p
934 Host radius.adm radius radius radius.adm.crans.org
935 HostName radius.adm.crans.org
938 ProxyCommand ssh sable.crans.org -W %h:%p
940 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
941 HostName sable-ilo.adm.crans.org
944 ProxyCommand ssh sable.crans.org -W %h:%p
945 HostKeyAlgorithms ssh-rsa
947 Host slon.adm slon slon slon.adm.crans.org
948 HostName slon.adm.crans.org
951 ProxyCommand ssh sable.crans.org -W %h:%p
953 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
954 HostName vert.adm.crans.org
957 ProxyCommand ssh sable.crans.org -W %h:%p
959 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
960 HostName zbee-idrac.adm.crans.org
963 ProxyCommand ssh sable.crans.org -W %h:%p
965 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
966 HostName zbee.adm.crans.org
969 ProxyCommand ssh sable.crans.org -W %h:%p
975 # Accessibles aux membres de l'équipe d'admin de FedeRez
977 Host hexagon hexagon.federez.net
978 HostName hexagon.federez.net
982 Host quigon quigon.federez.net
983 HostName quigon.federez.net
987 Host nonagon nonagon.federez.net
988 HostName nonagon.federez.net
992 Host octogon octogon.federez.net
993 HostName octogon.federez.net
997 Host pentagon pentagon.federez.net
998 HostName pentagon.federez.net
1002 Host parangon parangon.federez.net
1003 HostName parangon.federez.net
1007 Host federez-test federez-test.federez.net
1008 HostName federez-test.federez.net
1016 # Réseau IRC des grandes écoles
1018 Host oswaft oswaft.rezosup.net
1019 HostName oswaft.rezosup.net
1023 # +-------------------+
1024 # | Serveurs de l'ENS |
1025 # +-------------------+
1026 # Accessibles aux élèves de l'ENS
1028 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
1029 HostName tselin.clietu.ens-cachan.fr
1031 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1034 HostName tselin2.clietu.ens-cachan.fr
1036 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1038 Host tahines.ens-cachan.fr tahines2 tahines
1039 HostName tahines.ens-cachan.fr
1043 # +------------------+
1044 # | Département info |
1045 # +------------------+
1046 # Machines du département informatique de l'ENSC
1049 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1050 #HostName 138.231.36.60
1051 HostName ssh.dptinfo.ens-cachan.fr
1055 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1056 # Sinon on crée une boucle
1057 Host *.dptinfo !ssh.dptinfo
1058 HostName %h.ens-cachan.fr
1060 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1063 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1066 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1074 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1075 HostName mars.lbpa.ens-cachan.fr
1077 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1079 # END (utile pour éviter les merge conflicts)