# .ssh/config_dptinfo pour les serveurs du dptinfo de l'ENSC mis à votre disposition
# par les gentils membres actifs du Cr@ns
# Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
# Des questions, des suggestions : {nounou,ca}@lists.crans.org
# Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
# Licence : WTFPL
#
# Pensez à remplacer "loginENS" par les logins idoines.


# 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

# Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
# Sinon on crée une boucle
Host *.dptinfo !ssh.dptinfo
    HostName %h.ens-cachan.fr
    User loginENS
    ProxyJump ssh.dptinfo.ens-cachan.fr
    ForwardAgent yes

Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
    HostName %h
    User loginENS
    ProxyJump ssh.dptinfo.ens-cachan.fr
    ForwardAgent yes