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 loginENS@tahines.ens-cachan.fr -W %h:%p
44 Host tahines.ens-cachan.fr tahines2 tahines
45 HostName tahines.ens-cachan.fr
49 #~# # +------------------+
50 #~# # | Département info |
51 #~# # +------------------+
52 #~# # Machines du département informatique de l'ENSC
53 #~# # Accesibles aux A0
55 #~# Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
56 #~# #HostName 138.231.36.60
57 #~# HostName ssh.dptinfo.ens-cachan.fr
61 #~# Host dptinfo*.dptinfo.ens-cachan.fr
64 #~# ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
68 #~# HostName dpt%h.dptinfo.ens-cachan.fr
70 #~# ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
74 # END (utile pour éviter les merge conflicts)