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 home.b2moo.fr -W %h:%p
126 Host cabalw.home cabalw
127 HostName 192.168.1.63
130 ProxyCommand ssh home.b2moo.fr -W %h:%p
132 Host viki viki.wifi viki.wifi.crans.org
133 HostName viki.wifi.crans.org
137 Host gladys home colloc home.b2moo.fr
138 HostName home.b2moo.fr
143 HostName 192.168.1.18
147 # Les bots sur cerebro
149 HostName cerebro.crans.org
153 HostName cerebro.crans.org
157 HostName cerebro.crans.org
161 HostName cerebro.crans.org
165 HostName cerebro.crans.org
168 Host salesman Salesman
169 HostName cerebro.crans.org
173 HostName cerebro.crans.org
176 Host saturnin Saturnin
177 HostName cerebro.crans.org
181 HostName cerebro.crans.org
189 # Serveur dédié online.net
190 # pimeys.fr = 62.210.178.115
192 Host pimeys pimeys.fr becue.eu
201 # Parce que j'y suis le bienvenu
203 Host linkki linkki.crans.org
204 HostName linkki.crans.org
207 Host ilma ilma.wifi ilma.wifi.crans.org
208 HostName ilma.wifi.crans.org
211 Host ruoska ruoska.crans.org
212 HostName ruoska.crans.org
219 # Parce que j'y suis le bienvenu
222 Host power power.crans.org nit-git nit-git.crans.org
223 HostName power.crans.org
230 # Parce que le département A♡ a un serveur
232 Host acoeur acoeur.crans.org
233 HostName acoeur.crans.org
238 # +-----------------+
239 # | Serveurs du BDE |
240 # +-----------------+
241 # Serveurs du BDE accessibles aux respos info
243 Host kfet kfet.crans.org kfet1
244 HostName kfet.crans.org
248 Host kfet-bureau kfet-bureau.crans.org bureau bureau-bde
249 HostName kfet.crans.org
253 Host bde2 bde2-virt note note-virt kfet-ics doc-bde ldap-bde bde2.crans.org bde2-virt.crans.org note.crans.org
254 HostName bde2-virt.crans.org
258 Host bde3-virt digicode bde3-virt.crans.org
259 HostName bde3-virt.crans.org
263 Host bde3 bde3.crans.org
264 HostName bde3.crans.org
268 Host bde-test bde-test-virt note-test note-dev bde-test.crans.org bde-test-virt.crans.org note-test.crans.org
269 HostName bde-test-virt.crans.org
273 Host sauron sauron.crans.org
274 HostName sauron.crans.org
278 Host med zavoyarde med.crans.org zavoyarde.crans.org
279 HostName zavoyarde.crans.org
284 # +-------------------+
285 # | Serveurs du Cr@ns |
286 # +-------------------+
287 # Accessible aux apprentis
288 # sauf zamok et ssh2, accessibles à tous les adhérents
290 Host alice alice.crans.org
291 HostName alice.crans.org
295 Host alice.adm alice.adm.crans.org
296 HostName alice.adm.crans.org
300 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
301 HostName appartement.crans.org
305 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
306 HostName apprentis.crans.org
309 Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
310 HostName asterisk.crans.org
314 Host asterisk.adm asterisk.adm.crans.org
315 HostName asterisk.adm.crans.org
319 Host backbone backbone.crans.org
320 HostName backbone.crans.org
324 Host backbone.adm backbone.adm.crans.org
325 HostName backbone.adm.crans.org
329 Host bakdaur bakdaur.crans.org
330 HostName bakdaur.crans.org
334 Host bakdaur.adm bakdaur.adm.crans.org
335 HostName bakdaur.adm.crans.org
339 Host backbone.wifi backbone.wifi.crans.org
340 HostName backbone.wifi.crans.org
344 Host batk-0 batk-0.crans.org
345 HostName batk-0.crans.org
348 Host cas cas-srv auth login cas.crans.org login.crans.org auth.crans.org cas-srv.crans.org
349 HostName cas-srv.crans.org
353 Host cas.adm cas.adm.crans.org
354 HostName cas.adm.crans.org
358 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
359 HostName charybde.crans.org
363 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
364 HostName charybde.adm.crans.org
368 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
369 HostName civet.crans.org
373 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
374 HostName civet.adm.crans.org
378 Host cochon.adm cochon.adm.crans.org
379 HostName cochon.adm.crans.org
383 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
384 HostName cochon.ferme.crans.org
388 Host cups cups.crans.org
389 HostName cups.crans.org
393 Host cups.adm cups.adm.crans.org
394 HostName cups.adm.crans.org
398 Host dhcp dhcp.crans.org
399 HostName dhcp.crans.org
403 Host dhcp-21 dhcp-21.crans.org
404 HostName dhcp-21.crans.org
408 Host dhcp.adm dhcp.adm.crans.org
409 HostName dhcp.adm.crans.org
413 Host discourse discourse-srv discourse.crans.org discourse-srv.crans.org
414 HostName discourse-srv.crans.org
418 Host dyson dyson.crans.org
419 HostName dyson.crans.org
423 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
424 HostName dyson.adm.crans.org
428 Host ethercalc ethercalc-srv ethercalc.crans.org ethercalc-srv.crans.org
429 HostName ethercalc-srv.crans.org
433 Host ethercalc.adm ethercalc.adm.crans.org
434 HostName ethercalc.adm.crans.org
438 Host freebox freebox.crans.org
439 HostName freebox.crans.org
443 Host frontdaur frontdaur.crans.org
444 HostName frontdaur.crans.org
448 Host frontdaur.adm frontdaur.adm.crans.org
449 HostName frontdaur.adm.crans.org
454 HostName ft.crans.org
458 Host ft.adm ft.adm.crans.org
459 HostName ft.adm.crans.org
463 Host fy munin icinga2 weathermap fy.crans.org munin.crans.org icinga2.crans.org weathermap.crans.org
464 HostName fy.crans.org
468 Host fy.adm fy.adm.crans.org
469 HostName fy.adm.crans.org
474 HostName fz.crans.org
478 Host fz.adm fz.adm.crans.org
479 HostName fz.adm.crans.org
483 Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
484 HostName geet.crans.org
488 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
489 HostName geet.adm.crans.org
493 Host horde horde-srv webmail horde.crans.org horde-srv.crans.org webmail.crans.org
494 HostName horde.crans.org
498 Host horde.adm horde.adm.crans.org
499 HostName horde.adm.crans.org
503 Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
504 HostName irc.crans.org
508 Host irc.adm irc.adm.crans.org
509 HostName irc.adm.crans.org
513 Host isc isc.crans.org
514 HostName isc.crans.org
518 Host isc.adm isc.adm.crans.org
519 HostName isc.adm.crans.org
523 Host kdell kdell.crans.org
524 HostName kdell.crans.org
528 Host kdell.adm kdell.adm.crans.org
529 HostName kdell.adm.crans.org
533 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
534 HostName kenobi.crans.org
538 Host kenobi.adm kenobi.adm.crans.org
539 HostName kenobi.adm.crans.org
543 Host komaz komaz.crans.org
544 HostName komaz.crans.org
548 Host komaz-21 komaz-21.crans.org
549 HostName komaz-21.crans.org
553 Host komaz.adm komaz.adm.crans.org
554 HostName komaz.adm.crans.org
558 Host malloc malloc.crans.org
559 HostName malloc.crans.org
563 Host malloc.adm malloc.adm.crans.org
564 HostName malloc.adm.crans.org
568 Host mediadrop mediadrop-srv video mediadrop.crans.org video.crans.org mediadrop-srv.crans.org video-srv.crans.org
569 HostName mediadrop.crans.org
573 Host mediadrop.adm mediadrop.adm.crans.org
574 HostName mediadrop.adm.crans.org
578 Host nat64 nat64.crans.org
579 HostName nat64.crans.org
583 Host nat64.adm nat64.adm.crans.org
584 HostName nat64.adm.crans.org
588 Host nem nem.crans.org
589 HostName nem.crans.org
593 Host nem.adm nem.adm.crans.org
594 HostName nem.adm.crans.org
598 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
599 HostName news.crans.org
603 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
604 HostName news.adm.crans.org
608 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
609 HostName niomniom.crans.org
613 Host niomniom.adm niomniom.adm.crans.org
614 HostName niomniom.adm.crans.org
618 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
619 HostName o2.crans.org
623 Host o2.adm o2.adm.crans.org
624 HostName o2.adm.crans.org
628 Host odlyd odlyd.crans.org
629 HostName odlyd.crans.org
633 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
634 HostName odlyd.adm.crans.org
638 Host odlyd.wifi odlyd.wifi.crans.org
639 HostName odlyd.wifi.crans.org
643 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
644 HostName oie.crans.org
648 Host oie.adm oie.adm.crans.org
649 HostName oie.adm.crans.org
653 Host omnomnom omnomnom.crans.org
654 HostName omnomnom.crans.org
658 Host omnomnom.adm omnomnom.adm.crans.org
659 HostName omnomnom.adm.crans.org
663 Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
664 HostName owl.crans.org
668 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
669 HostName owl.adm.crans.org
673 Host owncloud owcloud-srv owncloud.crans.org owncloud-srv.crans.org
674 HostName owncloud.crans.org
678 Host owncloud.adm owncloud.adm.crans.org
679 HostName owncloud.adm.crans.org
683 Host pea pea.crans.org
684 HostName pea.crans.org
688 Host pea.adm pea.adm.crans.org
689 HostName pea.adm.crans.org
693 Host pegase pegase.crans.org
694 HostName pegase.crans.org
698 Host proxy proxy.crans.org
699 HostName proxy.crans.org
703 Host puppet puppet.crans.org
704 HostName puppet.crans.org
708 Host puppet.adm puppet.adm.crans.org
709 HostName puppet.adm.crans.org
713 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
714 HostName redisdead.crans.org
718 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
719 HostName redisdead.adm.crans.org
723 Host rezosup rezosup.crans.org
724 HostName rezosup.crans.org
728 Host roundcube roundcube.crans.org
729 HostName roundcube.crans.org
733 Host roundcube.adm roundcube.adm.crans.org
734 HostName roundcube.adm.crans.org
738 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
739 HostName routeur.crans.org
743 Host routeur-21 routeur-21.crans.org
744 HostName routeur-21.crans.org
748 Host routeur.adm routeur.adm.crans.org
749 HostName routeur.adm.crans.org
753 Host sable dns sable.crans.org dns.crans.org
754 HostName sable.crans.org
758 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
759 HostName sable.adm.crans.org
763 Host sogo sogo-srv sogo.crans.org sogo-srv.crans.org
764 HostName sogo.crans.org
768 Host sogo.adm sogo.adm.crans.org
769 HostName sogo.adm.crans.org
773 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
774 HostName soyouz.crans.org
778 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
779 HostName soyouz.adm.crans.org
783 Host ssh2 mosh ssh2.crans.org mosh.crans.org
784 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
785 # pour passer à travers les blocages de ports (443 = https)
786 HostName 138.231.136.2
791 Host stitch stitch.crans.org
792 HostName stitch.crans.org
796 Host stitch.adm stitch.adm.crans.org
797 HostName stitch.adm.crans.org
801 Host stun-secondary stun-secondary.crans.org
802 HostName stun-secondary.crans.org
806 Host template template.crans.org
807 HostName template.crans.org
811 Host template.adm template.adm.crans.org
812 HostName template.adm.crans.org
816 Host test1 test1.crans.org
817 HostName test1.crans.org
821 Host test2 test2.crans.org
822 HostName test2.crans.org
826 Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
827 HostName thot.crans.org
831 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
832 HostName thot.adm.crans.org
836 Host titanic titanic.crans.org
837 HostName titanic.crans.org
841 Host titanic.adm titanic.adm.crans.org
842 HostName titanic.adm.crans.org
846 Host tracker tracker todo tracker.crans.org todo.crans.org phabricator phabricattor.crans.org
847 HostName tracker.crans.org
851 Host tracker.adm tracker.adm.crans.org
852 HostName tracker.adm.crans.org
856 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
857 HostName vo.crans.org
861 Host vo-eth0 vo-eth0.crans.org
862 HostName vo-eth0.crans.org
866 Host vo.adm vo.adm.crans.org
867 HostName vo.adm.crans.org
871 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
872 HostName xmpp.crans.org
876 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
877 HostName xmpp.adm.crans.org
881 Host ytrap-llatsni ytrap-llatsni.crans.org
882 HostName ytrap-llatsni.crans.org
886 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
887 HostName ytrap-llatsni.adm.crans.org
891 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
892 HostName zamok.crans.org
896 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
897 HostName zamok.adm.crans.org
902 # +-------------------------+
903 # | Serveurs Cr@ns adm-only |
904 # +-------------------------+
905 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
906 # d'où la ProxyCommand
908 Host babar.adm babar babar babar.adm.crans.org
909 HostName babar.adm.crans.org
912 ProxyCommand ssh sable.crans.org -W %h:%p
914 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
915 HostName bcfg2.adm.crans.org
918 ProxyCommand ssh sable.crans.org -W %h:%p
920 Host eap.adm eap eap eap.adm.crans.org
921 HostName eap.adm.crans.org
924 ProxyCommand ssh sable.crans.org -W %h:%p
926 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
927 HostName kdell-idrac.adm.crans.org
929 ProxyCommand ssh sable.crans.org -W %h:%p
932 HostName %h.adm.crans.org
934 PasswordAuthentication yes
935 ChallengeResponseAuthentication no
936 GSSAPIAuthentication no
937 HostbasedAuthentication no
938 PubkeyAuthentication no
943 KexAlgorithms diffie-hellman-group1-sha1
944 MACs hmac-md5,hmac-sha1
945 Ciphers aes128-cbc,3des-cbc
946 HostKeyAlgorithms ssh-rsa,ssh-dss
947 ProxyCommand ssh sable.crans.org -W %h:%p
949 Host radius.adm radius radius radius.adm.crans.org
950 HostName radius.adm.crans.org
953 ProxyCommand ssh sable.crans.org -W %h:%p
955 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
956 HostName sable-ilo.adm.crans.org
959 ProxyCommand ssh sable.crans.org -W %h:%p
960 HostKeyAlgorithms ssh-rsa
962 Host slon.adm slon slon slon.adm.crans.org
963 HostName slon.adm.crans.org
966 ProxyCommand ssh sable.crans.org -W %h:%p
968 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
969 HostName vert.adm.crans.org
972 ProxyCommand ssh redisdead.crans.org -W %h:%p
974 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
975 HostName zbee-idrac.adm.crans.org
978 ProxyCommand ssh sable.crans.org -W %h:%p
980 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
981 HostName zbee.adm.crans.org
984 ProxyCommand ssh sable.crans.org -W %h:%p
990 # Accessibles aux membres de l'équipe d'admin de FedeRez
992 Host hexagon hexagon.federez.net
993 HostName hexagon.federez.net
997 Host quigon quigon.federez.net
998 HostName quigon.federez.net
1002 Host nonagon nonagon.federez.net
1003 HostName nonagon.federez.net
1007 Host octogon octogon.federez.net
1008 HostName octogon.federez.net
1012 Host pentagon pentagon.federez.net
1013 HostName pentagon.federez.net
1017 Host parangon parangon.federez.net
1018 HostName parangon.federez.net
1022 Host federez-test federez-test.federez.net
1023 HostName federez-test.federez.net
1031 # Réseau IRC des grandes écoles
1033 Host oswaft oswaft.rezosup.net
1034 HostName oswaft.rezosup.net
1038 # +-------------------+
1039 # | Serveurs de l'ENS |
1040 # +-------------------+
1041 # Accessibles aux élèves de l'ENS
1043 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
1044 HostName tselin.clietu.ens-cachan.fr
1046 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1049 HostName tselin2.clietu.ens-cachan.fr
1051 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1053 Host tahines.ens-cachan.fr tahines2 tahines
1054 HostName tahines.ens-cachan.fr
1058 # +------------------+
1059 # | Département info |
1060 # +------------------+
1061 # Machines du département informatique de l'ENSC
1064 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1065 #HostName 138.231.36.60
1066 HostName ssh.dptinfo.ens-cachan.fr
1070 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1071 # Sinon on crée une boucle
1072 Host *.dptinfo !ssh.dptinfo
1073 HostName %h.ens-cachan.fr
1075 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1078 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1081 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1089 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1090 HostName mars.lbpa.ens-cachan.fr
1092 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1094 # END (utile pour éviter les merge conflicts)