# +---------+
# | 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 legallic
    ForwardAgent yes

Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
    HostName baldrick.federez.net
    User legallic
    ForwardAgent yes

Host quigon quigon.federez.net
    HostName quigon.federez.net
    User legallic
    ForwardAgent yes

Host polygon polygon.federez.net
    HostName polygon.federez.net
    User legallic
    ForwardAgent yes

Host hexagon hexagon.federez.net
    HostName hexagon.federez.net
    User legallic
    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 vlegalli
    ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p

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


# +-----+
# | Ulm |
# +-----+
# Parce que je me suis inscrit à la DSI d'Ulm

Host clipper clipper.ens.fr
    HostName clipper.ens.fr
    User legallic


# +------------------+
# | Département info |
# +------------------+
# Machines du département informatique de l'ENSC

Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo
    #HostName 138.231.36.60
    HostName ssh.dptinfo.ens-cachan.fr
    User vlegalli
    ForwardAgent yes

Host dptinfo*.dptinfo.ens-cachan.fr
    HostName %h
    User vlegalli
    ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
    ForwardAgent yes

Host info*
    HostName dpt%h.dptinfo.ens-cachan.fr
    User vlegalli
    ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
    ForwardAgent yes


# +---------+
# | Télécom |
# +---------+
# Stage au labo de Télécom ParisTech

Host ssh.enst enst ssh.enst.fr
    HostName ssh.enst.fr
    User legallic
    ForwardAgent yes

Host infres infres.enst.fr
    HostName infres.enst.fr
    User legallic
    ProxyCommand ssh ssh.enst.fr -W %h:%p
    ForwardAgent yes

Host tipaza tipaza.enst.fr
    HostName tipaza.enst.fr
    User legallic
    ProxyCommand ssh ssh.enst.fr -W %h:%p
    ForwardAgent yes

# END (utile pour éviter les merge conflicts)