5 # Accessibles aux membres de l'équipe d'admin de FedeRez
7 # Actuellement down, mais on ne sait jamais
8 Host nautilus nautilus.federez.net
9 HostName nautilus.federez.net
13 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
14 HostName baldrick.federez.net
18 Host quigon quigon.federez.net
19 HostName quigon.federez.net
23 Host polygon polygon.federez.net
24 HostName polygon.federez.net
28 Host hexagon hexagon.federez.net
29 HostName hexagon.federez.net
34 # +-------------------+
35 # | Serveurs de l'ENS |
36 # +-------------------+
37 # Accessibles aux élèves de l'ENS
39 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
40 HostName tselin.clietu.ens-cachan.fr
42 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
44 Host tahines.ens-cachan.fr tahines2 tahines
45 HostName tahines.ens-cachan.fr
52 # Parce que je me suis inscrit à la DSI d'Ulm
54 Host clipper clipper.ens.fr
55 HostName clipper.ens.fr
59 # +------------------+
60 # | Département info |
61 # +------------------+
62 # Machines du département informatique de l'ENSC
64 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo
65 #HostName 138.231.36.60
66 HostName ssh.dptinfo.ens-cachan.fr
70 Host dptinfo*.dptinfo.ens-cachan.fr
73 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
77 HostName dpt%h.dptinfo.ens-cachan.fr
79 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
86 # Stage au labo de Télécom ParisTech
88 Host ssh.enst enst ssh.enst.fr
93 Host infres infres.enst.fr
94 HostName infres.enst.fr
96 ProxyCommand ssh ssh.enst.fr -W %h:%p
99 Host tipaza tipaza.enst.fr
100 HostName tipaza.enst.fr
102 ProxyCommand ssh ssh.enst.fr -W %h:%p
105 # END (utile pour éviter les merge conflicts)