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 ~/.ssh/known_hosts_telecom_serveurs ~/.ssh/known_hosts_telecom_tp
58 Host zeldrenviatahinesviapimeys
59 HostName zeldren.crans.org
61 ProxyCommand ssh tahinesviapimeys -W %h:%p
64 HostName tahines.ens-cachan.fr
66 ProxyCommand ssh pimeys.fr -W %h:%p
68 Host zeldren.crans.org zeldren
69 HostName zeldren.crans.org
73 Host cerebro.crans.org cerebro
74 HostName cerebro.crans.org
78 Host eva.crans.org eva eeepc
79 HostName eva.crans.org
97 ProxyCommand ssh home.b2moo.fr -W %h:%p
100 HostName 192.168.1.29
103 ProxyCommand ssh home.b2moo.fr -W %h:%p
105 Host zeldren.crans.org cabal.crans zeldren
106 HostName zeldren.crans.org
111 HostName 192.168.1.81
116 HostName 192.168.1.63
120 Host cabal.home cabal
121 HostName 192.168.1.81
124 ProxyCommand ssh -4 home.b2moo.fr -W %h:%p
127 HostName home.b2moo.fr
132 Host cabalw.home cabalw
133 HostName 192.168.1.63
136 ProxyCommand ssh home.b2moo.fr -W %h:%p
138 Host viki viki.wifi viki.wifi.crans.org
139 HostName viki.wifi.crans.org
143 Host gladys home colloc home.b2moo.fr
144 HostName home.b2moo.fr
149 HostName 192.168.1.18
153 # Les bots sur cerebro
155 HostName cerebro.crans.org
159 HostName cerebro.crans.org
163 HostName cerebro.crans.org
167 HostName cerebro.crans.org
171 HostName cerebro.crans.org
174 Host salesman Salesman
175 HostName cerebro.crans.org
179 HostName cerebro.crans.org
182 Host saturnin Saturnin
183 HostName cerebro.crans.org
187 HostName cerebro.crans.org
195 # Serveur dédié online.net
196 # pimeys.fr = 62.210.178.115
198 Host pimeys pimeys.fr becue.eu
207 # Parce que j'y suis le bienvenu
209 Host linkki linkki.crans.org
210 HostName linkki.crans.org
213 Host ilma ilma.wifi ilma.wifi.crans.org
214 HostName ilma.wifi.crans.org
217 Host ruoska ruoska.crans.org
218 HostName ruoska.crans.org
225 # Parce que j'y suis le bienvenu
228 Host power power.crans.org nit-git nit-git.crans.org
229 HostName power.crans.org
236 # Parce que le département A♡ a un serveur
238 Host acoeur acoeur.crans.org
239 HostName acoeur.crans.org
244 # +-----------------+
245 # | Serveurs du BDE |
246 # +-----------------+
247 # Serveurs du BDE accessibles aux respos info
249 Host kfet kfet.crans.org kfet1
250 HostName kfet.crans.org
254 Host kfet-bureau kfet-bureau.crans.org bureau bureau-bde
255 HostName kfet.crans.org
259 Host bde2 bde2-virt note note-virt kfet-ics doc-bde ldap-bde bde2.crans.org bde2-virt.crans.org note.crans.org
260 HostName bde2-virt.crans.org
264 Host bde3-virt digicode bde3-virt.crans.org
265 HostName bde3-virt.crans.org
269 Host bde3 bde3.crans.org
270 HostName bde3.crans.org
274 Host bde-test bde-test-virt note-test note-dev bde-test.crans.org bde-test-virt.crans.org note-test.crans.org
275 HostName bde-test-virt.crans.org
279 Host sauron sauron.crans.org
280 HostName sauron.crans.org
284 Host med zavoyarde med.crans.org zavoyarde.crans.org
285 HostName zavoyarde.crans.org
290 # +-------------------+
291 # | Serveurs du Cr@ns |
292 # +-------------------+
293 # Accessible aux apprentis
294 # sauf zamok et ssh2, accessibles à tous les adhérents
296 Host alice alice.crans.org
297 HostName alice.crans.org
301 Host alice.adm alice.adm.crans.org
302 HostName alice.adm.crans.org
306 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
307 HostName appartement.crans.org
311 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
312 HostName apprentis.crans.org
315 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
316 HostName asterisk.crans.org
320 Host asterisk.adm asterisk.adm.crans.org
321 HostName asterisk.adm.crans.org
325 Host backbone backbone.crans.org
326 HostName backbone.crans.org
330 Host backbone.adm backbone.adm.crans.org
331 HostName backbone.adm.crans.org
335 Host bakdaur bakdaur.crans.org
336 HostName bakdaur.crans.org
340 Host bakdaur.adm bakdaur.adm.crans.org
341 HostName bakdaur.adm.crans.org
345 Host backbone.wifi backbone.wifi.crans.org
346 HostName backbone.wifi.crans.org
350 Host batk-0 batk-0.crans.org
351 HostName batk-0.crans.org
354 Host cas cas-srv auth login cas.crans.org login.crans.org auth.crans.org cas-srv.crans.org
355 HostName cas-srv.crans.org
359 Host cas.adm cas.adm.crans.org
360 HostName cas.adm.crans.org
364 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
365 HostName charybde.crans.org
369 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
370 HostName charybde.adm.crans.org
374 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
375 HostName civet.crans.org
379 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
380 HostName civet.adm.crans.org
384 Host cochon.adm cochon.adm.crans.org
385 HostName cochon.adm.crans.org
389 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
390 HostName cochon.ferme.crans.org
394 Host cups cups.crans.org
395 HostName cups.crans.org
399 Host cups.adm cups.adm.crans.org
400 HostName cups.adm.crans.org
404 Host dhcp dhcp.crans.org
405 HostName dhcp.crans.org
409 Host dhcp-21 dhcp-21.crans.org
410 HostName dhcp-21.crans.org
414 Host dhcp.adm dhcp.adm.crans.org
415 HostName dhcp.adm.crans.org
419 Host discourse discourse-srv discourse.crans.org discourse-srv.crans.org
420 HostName discourse-srv.crans.org
424 Host dyson dyson.crans.org
425 HostName dyson.crans.org
429 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
430 HostName dyson.adm.crans.org
434 Host ethercalc ethercalc-srv ethercalc.crans.org ethercalc-srv.crans.org
435 HostName ethercalc-srv.crans.org
439 Host ethercalc.adm ethercalc.adm.crans.org
440 HostName ethercalc.adm.crans.org
444 Host freebox freebox.crans.org
445 HostName freebox.crans.org
449 Host frontdaur frontdaur.crans.org
450 HostName frontdaur.crans.org
454 Host frontdaur.adm frontdaur.adm.crans.org
455 HostName frontdaur.adm.crans.org
460 HostName ft.crans.org
464 Host ft.adm ft.adm.crans.org
465 HostName ft.adm.crans.org
469 Host fy munin icinga2 weathermap fy.crans.org munin.crans.org icinga2.crans.org weathermap.crans.org
470 HostName fy.crans.org
474 Host fy.adm fy.adm.crans.org
475 HostName fy.adm.crans.org
480 HostName fz.crans.org
484 Host fz.adm fz.adm.crans.org
485 HostName fz.adm.crans.org
489 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
490 HostName geet.crans.org
494 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
495 HostName geet.adm.crans.org
499 Host horde horde-srv webmail horde.crans.org horde-srv.crans.org webmail.crans.org
500 HostName horde.crans.org
504 Host horde.adm horde.adm.crans.org
505 HostName horde.adm.crans.org
509 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
510 HostName irc.crans.org
514 Host irc.adm irc.adm.crans.org
515 HostName irc.adm.crans.org
519 Host isc isc.crans.org
520 HostName isc.crans.org
524 Host isc.adm isc.adm.crans.org
525 HostName isc.adm.crans.org
529 Host kdell kdell.crans.org
530 HostName kdell.crans.org
534 Host kdell.adm kdell.adm.crans.org
535 HostName kdell.adm.crans.org
539 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
540 HostName kenobi.crans.org
544 Host kenobi.adm kenobi.adm.crans.org
545 HostName kenobi.adm.crans.org
549 Host komaz komaz.crans.org
550 HostName komaz.crans.org
554 Host komaz-21 komaz-21.crans.org
555 HostName komaz-21.crans.org
559 Host komaz.adm komaz.adm.crans.org
560 HostName komaz.adm.crans.org
564 Host malloc malloc.crans.org
565 HostName malloc.crans.org
569 Host malloc.adm malloc.adm.crans.org
570 HostName malloc.adm.crans.org
574 Host mediadrop mediadrop-srv video mediadrop.crans.org video.crans.org mediadrop-srv.crans.org video-srv.crans.org
575 HostName mediadrop.crans.org
579 Host mediadrop.adm mediadrop.adm.crans.org
580 HostName mediadrop.adm.crans.org
584 Host nat64 nat64.crans.org
585 HostName nat64.crans.org
589 Host nat64.adm nat64.adm.crans.org
590 HostName nat64.adm.crans.org
594 Host nem nem.crans.org
595 HostName nem.crans.org
599 Host nem.adm nem.adm.crans.org
600 HostName nem.adm.crans.org
604 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
605 HostName news.crans.org
609 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
610 HostName news.adm.crans.org
614 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
615 HostName niomniom.crans.org
619 Host niomniom.adm niomniom.adm.crans.org
620 HostName niomniom.adm.crans.org
624 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
625 HostName o2.crans.org
629 Host o2.adm o2.adm.crans.org
630 HostName o2.adm.crans.org
634 Host odlyd odlyd.crans.org
635 HostName odlyd.crans.org
639 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
640 HostName odlyd.adm.crans.org
644 Host odlyd.wifi odlyd.wifi.crans.org
645 HostName odlyd.wifi.crans.org
649 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
650 HostName oie.crans.org
654 Host oie.adm oie.adm.crans.org
655 HostName oie.adm.crans.org
659 Host omnomnom omnomnom.crans.org
660 HostName omnomnom.crans.org
664 Host omnomnom.adm omnomnom.adm.crans.org
665 HostName omnomnom.adm.crans.org
669 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
670 HostName owl.crans.org
674 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
675 HostName owl.adm.crans.org
679 Host owncloud owcloud-srv owncloud.crans.org owncloud-srv.crans.org
680 HostName owncloud.crans.org
684 Host owncloud.adm owncloud.adm.crans.org
685 HostName owncloud.adm.crans.org
689 Host pea pea.crans.org
690 HostName pea.crans.org
694 Host pea.adm pea.adm.crans.org
695 HostName pea.adm.crans.org
699 Host pegase pegase.crans.org
700 HostName pegase.crans.org
704 Host proxy proxy.crans.org
705 HostName proxy.crans.org
709 Host puppet puppet.crans.org
710 HostName puppet.crans.org
714 Host puppet.adm puppet.adm.crans.org
715 HostName puppet.adm.crans.org
719 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
720 HostName redisdead.crans.org
724 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
725 HostName redisdead.adm.crans.org
729 Host rezosup rezosup.crans.org
730 HostName rezosup.crans.org
734 Host roundcube roundcube.crans.org
735 HostName roundcube.crans.org
739 Host roundcube.adm roundcube.adm.crans.org
740 HostName roundcube.adm.crans.org
744 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
745 HostName routeur.crans.org
749 Host routeur-21 routeur-21.crans.org
750 HostName routeur-21.crans.org
754 Host routeur.adm routeur.adm.crans.org
755 HostName routeur.adm.crans.org
759 Host sable dns sable.crans.org dns.crans.org
760 HostName sable.crans.org
764 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
765 HostName sable.adm.crans.org
769 Host sogo sogo-srv sogo.crans.org sogo-srv.crans.org
770 HostName sogo.crans.org
774 Host sogo.adm sogo.adm.crans.org
775 HostName sogo.adm.crans.org
779 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
780 HostName soyouz.crans.org
784 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
785 HostName soyouz.adm.crans.org
789 Host ssh2 mosh ssh2.crans.org mosh.crans.org
790 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
791 # pour passer à travers les blocages de ports (443 = https)
792 HostName 138.231.136.2
797 Host stitch stitch.crans.org
798 HostName stitch.crans.org
802 Host stitch.adm stitch.adm.crans.org
803 HostName stitch.adm.crans.org
807 Host stun-secondary stun-secondary.crans.org
808 HostName stun-secondary.crans.org
812 Host template template.crans.org
813 HostName template.crans.org
817 Host template.adm template.adm.crans.org
818 HostName template.adm.crans.org
822 Host test1 test1.crans.org
823 HostName test1.crans.org
827 Host test2 test2.crans.org
828 HostName test2.crans.org
832 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
833 HostName thot.crans.org
837 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
838 HostName thot.adm.crans.org
842 Host titanic titanic.crans.org
843 HostName titanic.crans.org
847 Host titanic.adm titanic.adm.crans.org
848 HostName titanic.adm.crans.org
852 Host tracker tracker todo tracker.crans.org todo.crans.org phabricator phabricattor.crans.org
853 HostName tracker.crans.org
857 Host tracker.adm tracker.adm.crans.org
858 HostName tracker.adm.crans.org
862 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
863 HostName vo.crans.org
867 Host vo-eth0 vo-eth0.crans.org
868 HostName vo-eth0.crans.org
872 Host vo.adm vo.adm.crans.org
873 HostName vo.adm.crans.org
877 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
878 HostName xmpp.crans.org
882 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
883 HostName xmpp.adm.crans.org
887 Host ytrap-llatsni ytrap-llatsni.crans.org
888 HostName ytrap-llatsni.crans.org
892 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
893 HostName ytrap-llatsni.adm.crans.org
897 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
898 HostName zamok.crans.org
902 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
903 HostName zamok.adm.crans.org
908 # +-------------------------+
909 # | Serveurs Cr@ns adm-only |
910 # +-------------------------+
911 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
912 # d'où la ProxyCommand
914 Host babar.adm babar babar babar.adm.crans.org
915 HostName babar.adm.crans.org
918 ProxyCommand ssh sable.crans.org -W %h:%p
920 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
921 HostName bcfg2.adm.crans.org
924 ProxyCommand ssh sable.crans.org -W %h:%p
926 Host eap.adm eap eap eap.adm.crans.org
927 HostName eap.adm.crans.org
930 ProxyCommand ssh sable.crans.org -W %h:%p
932 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
933 HostName kdell-idrac.adm.crans.org
935 ProxyCommand ssh sable.crans.org -W %h:%p
938 HostName %h.adm.crans.org
940 PasswordAuthentication yes
941 ChallengeResponseAuthentication no
942 GSSAPIAuthentication no
943 HostbasedAuthentication no
944 PubkeyAuthentication no
949 KexAlgorithms diffie-hellman-group1-sha1
950 MACs hmac-md5,hmac-sha1
951 Ciphers aes128-cbc,3des-cbc
952 HostKeyAlgorithms ssh-rsa,ssh-dss
953 ProxyCommand ssh sable.crans.org -W %h:%p
955 Host radius.adm radius radius radius.adm.crans.org
956 HostName radius.adm.crans.org
959 ProxyCommand ssh sable.crans.org -W %h:%p
961 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
962 HostName sable-ilo.adm.crans.org
965 ProxyCommand ssh sable.crans.org -W %h:%p
966 HostKeyAlgorithms ssh-rsa
968 Host slon.adm slon slon slon.adm.crans.org
969 HostName slon.adm.crans.org
972 ProxyCommand ssh sable.crans.org -W %h:%p
974 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
975 HostName vert.adm.crans.org
978 ProxyCommand ssh redisdead.crans.org -W %h:%p
980 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
981 HostName zbee-idrac.adm.crans.org
984 ProxyCommand ssh sable.crans.org -W %h:%p
986 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
987 HostName zbee.adm.crans.org
990 ProxyCommand ssh sable.crans.org -W %h:%p
996 # Accessibles aux membres de l'équipe d'admin de FedeRez
998 Host hexagon hexagon.federez.net
999 HostName hexagon.federez.net
1003 Host quigon quigon.federez.net
1004 HostName quigon.federez.net
1008 Host nonagon nonagon.federez.net
1009 HostName nonagon.federez.net
1013 Host octogon octogon.federez.net
1014 HostName octogon.federez.net
1018 Host pentagon pentagon.federez.net
1019 HostName pentagon.federez.net
1023 Host parangon parangon.federez.net
1024 HostName parangon.federez.net
1028 Host federez-test federez-test.federez.net
1029 HostName federez-test.federez.net
1037 # Réseau IRC des grandes écoles
1039 Host oswaft oswaft.rezosup.net
1040 HostName oswaft.rezosup.net
1044 # +-------------------+
1045 # | Serveurs de l'ENS |
1046 # +-------------------+
1047 # Accessibles aux élèves de l'ENS
1049 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
1050 HostName tselin.clietu.ens-cachan.fr
1052 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1055 HostName tselin2.clietu.ens-cachan.fr
1057 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1059 Host tahines.ens-cachan.fr tahines2 tahines
1060 HostName tahines.ens-cachan.fr
1064 # +------------------+
1065 # | Département info |
1066 # +------------------+
1067 # Machines du département informatique de l'ENSC
1070 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1071 #HostName 138.231.36.60
1072 HostName ssh.dptinfo.ens-cachan.fr
1076 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1077 # Sinon on crée une boucle
1078 Host *.dptinfo !ssh.dptinfo
1079 HostName %h.ens-cachan.fr
1081 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1084 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1087 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1095 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1096 HostName mars.lbpa.ens-cachan.fr
1098 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1100 # END (utile pour éviter les merge conflicts)