config_dptinfo 1.02 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
# .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
25
    ProxyJump ssh.dptinfo.ens-cachan.fr
26 27 28 29 30
    ForwardAgent yes

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