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 soyouz soyoustart soyouz.crans.org soyoustart.crans.org
770 HostName soyouz.crans.org
774 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
775 HostName soyouz.adm.crans.org
779 Host ssh2 mosh ssh2.crans.org mosh.crans.org
780 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
781 # pour passer à travers les blocages de ports (443 = https)
782 HostName 138.231.136.2
787 Host stitch stitch.crans.org
788 HostName stitch.crans.org
792 Host stitch.adm stitch.adm.crans.org
793 HostName stitch.adm.crans.org
797 Host stun-secondary stun-secondary.crans.org
798 HostName stun-secondary.crans.org
802 Host template template.crans.org
803 HostName template.crans.org
807 Host template.adm template.adm.crans.org
808 HostName template.adm.crans.org
812 Host test1 test1.crans.org
813 HostName test1.crans.org
817 Host test2 test2.crans.org
818 HostName test2.crans.org
822 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
823 HostName thot.crans.org
827 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
828 HostName thot.adm.crans.org
832 Host titanic titanic.crans.org
833 HostName titanic.crans.org
837 Host titanic.adm titanic.adm.crans.org
838 HostName titanic.adm.crans.org
842 Host tracker tracker todo tracker.crans.org todo.crans.org phabricator phabricattor.crans.org
843 HostName tracker.crans.org
847 Host tracker.adm tracker.adm.crans.org
848 HostName tracker.adm.crans.org
852 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
853 HostName vo.crans.org
857 Host vo-eth0 vo-eth0.crans.org
858 HostName vo-eth0.crans.org
862 Host vo.adm vo.adm.crans.org
863 HostName vo.adm.crans.org
867 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
868 HostName xmpp.crans.org
872 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
873 HostName xmpp.adm.crans.org
877 Host ytrap-llatsni ytrap-llatsni.crans.org
878 HostName ytrap-llatsni.crans.org
882 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
883 HostName ytrap-llatsni.adm.crans.org
887 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
888 HostName zamok.crans.org
892 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
893 HostName zamok.adm.crans.org
898 # +-------------------------+
899 # | Serveurs Cr@ns adm-only |
900 # +-------------------------+
901 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
902 # d'où la ProxyCommand
904 Host babar.adm babar babar babar.adm.crans.org
905 HostName babar.adm.crans.org
908 ProxyCommand ssh redisdead.crans.org -W %h:%p
910 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
911 HostName bcfg2.adm.crans.org
914 ProxyCommand ssh redisdead.crans.org -W %h:%p
916 Host eap.adm eap eap eap.adm.crans.org
917 HostName eap.adm.crans.org
920 ProxyCommand ssh redisdead.crans.org -W %h:%p
922 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
923 HostName kdell-idrac.adm.crans.org
925 ProxyCommand ssh redisdead.crans.org -W %h:%p
928 HostName %h.adm.crans.org
930 PasswordAuthentication yes
931 ChallengeResponseAuthentication no
932 GSSAPIAuthentication no
933 HostbasedAuthentication no
934 PubkeyAuthentication no
939 KexAlgorithms diffie-hellman-group1-sha1
940 MACs hmac-md5,hmac-sha1
941 Ciphers aes128-cbc,3des-cbc
942 HostKeyAlgorithms ssh-rsa,ssh-dss
943 ProxyCommand ssh redisdead.crans.org -W %h:%p
945 Host radius.adm radius radius radius.adm.crans.org
946 HostName radius.adm.crans.org
949 ProxyCommand ssh redisdead.crans.org -W %h:%p
951 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
952 HostName sable-ilo.adm.crans.org
955 ProxyCommand ssh redisdead.crans.org -W %h:%p
956 HostKeyAlgorithms ssh-rsa
958 Host slon.adm slon slon slon.adm.crans.org
959 HostName slon.adm.crans.org
962 ProxyCommand ssh redisdead.crans.org -W %h:%p
964 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
965 HostName vert.adm.crans.org
968 ProxyCommand ssh redisdead.crans.org -W %h:%p
970 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
971 HostName zbee-idrac.adm.crans.org
974 ProxyCommand ssh redisdead.crans.org -W %h:%p
976 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
977 HostName zbee.adm.crans.org
980 ProxyCommand ssh redisdead.crans.org -W %h:%p
986 # Accessibles aux membres de l'équipe d'admin de FedeRez
988 Host hexagon hexagon.federez.net
989 HostName hexagon.federez.net
993 Host quigon quigon.federez.net
994 HostName quigon.federez.net
998 Host nonagon nonagon.federez.net
999 HostName nonagon.federez.net
1003 Host octogon octogon.federez.net
1004 HostName octogon.federez.net
1008 Host pentagon pentagon.federez.net
1009 HostName pentagon.federez.net
1013 Host parangon parangon.federez.net
1014 HostName parangon.federez.net
1018 Host federez-test federez-test.federez.net
1019 HostName federez-test.federez.net
1027 # Réseau IRC des grandes écoles
1029 Host oswaft oswaft.rezosup.net
1030 HostName oswaft.rezosup.net
1034 # +-------------------+
1035 # | Serveurs de l'ENS |
1036 # +-------------------+
1037 # Accessibles aux élèves de l'ENS
1039 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
1040 HostName tselin.clietu.ens-cachan.fr
1042 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1045 HostName tselin2.clietu.ens-cachan.fr
1047 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1049 Host tahines.ens-cachan.fr tahines2 tahines
1050 HostName tahines.ens-cachan.fr
1054 # +------------------+
1055 # | Département info |
1056 # +------------------+
1057 # Machines du département informatique de l'ENSC
1060 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1061 #HostName 138.231.36.60
1062 HostName ssh.dptinfo.ens-cachan.fr
1066 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1067 # Sinon on crée une boucle
1068 Host *.dptinfo !ssh.dptinfo
1069 HostName %h.ens-cachan.fr
1071 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1074 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1077 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1085 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1086 HostName mars.lbpa.ens-cachan.fr
1088 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1094 Host rabban rabban.enst.fr
1095 HostName rabban.enst.fr
1098 # END (utile pour éviter les merge conflicts)