#~# # +---------+
#~# # | FedeRez |
#~# # +---------+
#~# # Accessibles aux membres de l'équipe d'admin de FedeRez
#~# 
#~# # Actuellement down, mais on ne sait jamais
#~# Host nautilus nautilus.federez.net
#~#     HostName nautilus.federez.net
#~#     User loginFedeRez
#~#     ForwardAgent yes
#~# 
#~# Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
#~#     HostName baldrick.federez.net
#~#     User loginFedeRez
#~#     ForwardAgent yes
#~# 
#~# Host quigon quigon.federez.net
#~#     HostName quigon.federez.net
#~#     User loginFedeRez
#~#     ForwardAgent yes
#~# 
#~# Host polygon polygon.federez.net
#~#     HostName polygon.federez.net
#~#     User loginFedeRez
#~#     ForwardAgent yes
#~# 
#~# Host hexagon hexagon.federez.net
#~#     HostName hexagon.federez.net
#~#     User loginFedeRez
#~#     ForwardAgent yes


# +-------------------+
# | Serveurs de l'ENS |
# +-------------------+
# Accessibles aux élèves de l'ENS

Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
    HostName tselin.clietu.ens-cachan.fr
    User loginENS
    ProxyCommand ssh loginENS@tahines.ens-cachan.fr -W %h:%p

Host tahines.ens-cachan.fr tahines2 tahines
    HostName tahines.ens-cachan.fr
    User loginENS


#~# # +------------------+
#~# # | Département info |
#~# # +------------------+
#~# # Machines du département informatique de l'ENSC
#~# # Accesibles aux A0
#~# 
#~# Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
#~#     #HostName 138.231.36.60
#~#     HostName ssh.dptinfo.ens-cachan.fr
#~#     User loginENS
#~#     ForwardAgent yes
#~# 
#~# Host dptinfo*.dptinfo.ens-cachan.fr
#~#     HostName %h
#~#     User loginENS
#~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
#~#     ForwardAgent yes
#~# 
#~# Host info*
#~#     HostName dpt%h.dptinfo.ens-cachan.fr
#~#     User loginENS
#~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
#~#     ForwardAgent yes


# END (utile pour éviter les merge conflicts)