# .ssh/config générique 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

# Les sections commentées par #~# sont des features qui ne sont pas activées
# par défaut. Sentez-vous libre de les décommenter pour les utiliser.

# À noter que la plupart des serveurs présents dedans sont des serveurs
# du Cr@ns, qui risquent donc d'intéresser essentiellement des membres actifs.
# Pensez à remplacer "loginCr@ns", "loginFedeRez" et "loginENS" par les login idoines

#------------------------------------------------------------------------------

# Les options qui ne sont pas indentées sont activées pour toutes les connexions
# Mêmes celles qui ne correspondent à aucun bloc plus bas
# Activer la compression des données transmises lorsque c'est possible
Compression yes

#~# # Afficher la fingerprint du serveur sous la forme d'un ASCII art
#~# VisualHostKey yes

# Ne pas hasher les noms des machines auxquelles on se connecte dans
# le fichier known_hosts
HashKnownHosts no

# Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
# et du fingerprint présenté par le serveur
VerifyHostKeyDNS yes

#~# # Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
#~# # trop longtemps.
#~# # Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
#~# # sur la connexion, pour la garder vivante.
#~# ServerAliveInterval 60
#~# # Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
#~# ServerAliveCountMax 3

# Les options suivantes apparaissent dans les blocs
# Host = commence un bloc avec les noms qui utiliseront ce bloc
# HostName = nom réellement utilisé pour se connecter au serveur (ou son IP)
# User = nom d'utilisateur distant
# Port = port de connexion (pour override le port 22)
# ForwardAgent = forwarder l'agent ssh sur la machine
#            (il vaut mieux qu'elle et ses administrateurs soient de confiance)
# ProxyCommand = pour passer par un autre serveur intermédiaire
#                (pour un serveur qui ne peut pas être contacté directement)

# +-----------------+
# | Machines du BDE |
# +-----------------+

Host kfet kfet.crans.org kfet1
    HostName kfet.crans.org
    User bde


# +-------------------+
# | Serveurs du Cr@ns |
# +-------------------+
# Accessible aux apprentis
# sauf zamok et ssh2, accessibles à tous les adhérents

Host alice alice.crans.org
    HostName alice.crans.org
    User loginCr@ns
    ForwardAgent yes

Host alice.adm alice.adm.crans.org
    HostName alice.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host appartement hackpartement appartement.crans.org hackpartement.crans.org
    HostName appartement.crans.org
    User loginCr@ns
    ForwardAgent yes

Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
    HostName apprentis.crans.org
    User loginCr@ns

Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
    HostName asterisk.crans.org
    User loginCr@ns
    ForwardAgent yes

Host asterisk.adm asterisk.adm.crans.org
    HostName asterisk.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host backbone backbone.crans.org
    HostName backbone.crans.org
    User loginCr@ns
    ForwardAgent yes

Host backbone.adm backbone.adm.crans.org
    HostName backbone.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host backbone.wifi backbone.wifi.crans.org
    HostName backbone.wifi.crans.org
    User loginCr@ns
    ForwardAgent yes

Host batk-0 batk-0.crans.org
    HostName batk-0.crans.org
    User loginCr@ns

Host cas auth login cas.crans.org login.crans.org auth.crans.org
    HostName cas.crans.org
    User loginCr@ns
    ForwardAgent yes

Host cas.adm cas.adm.crans.org
    HostName cas.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host charybde darcs ftp ftp.crans.ens-cachan.fr karibe mirror ntp xn--hxamgu1bpkn charybde.crans.org karibe.crans.org xn--hxamgu1bpkn.crans.org ftp.crans.org mirror.crans.org ftp.crans.ens-cachan.fr ntp.crans.org darcs.crans.org
    HostName charybde.crans.org
    User loginCr@ns
    ForwardAgent yes

Host charybde.adm ftp.adm mirror.adm ntp.adm charybde.adm.crans.org ftp.adm.crans.org mirror.adm.crans.org ntp.adm.crans.org
    HostName charybde.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
    HostName civet.crans.org
    User loginCr@ns
    ForwardAgent yes

Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
    HostName civet.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host cochon.adm cochon.adm.crans.org
    HostName cochon.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
    HostName cochon.ferme.crans.org
    User loginCr@ns
    ForwardAgent yes

Host cups cups.crans.org
    HostName cups.crans.org
    User loginCr@ns
    ForwardAgent yes

Host cups.adm cups.adm.crans.org
    HostName cups.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host dhcp dhcp.crans.org
    HostName dhcp.crans.org
    User loginCr@ns
    ForwardAgent yes

Host dhcp-21 dhcp-21.crans.org
    HostName dhcp-21.crans.org
    User loginCr@ns
    ForwardAgent yes

Host dhcp.adm dhcp.adm.crans.org
    HostName dhcp.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host dyson dyson.crans.org
    HostName dyson.crans.org
    User loginCr@ns
    ForwardAgent yes

Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
    HostName dyson.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host ethercalc ethercalc.crans.org
    HostName ethercalc.crans.org
    User loginCr@ns
    ForwardAgent yes

Host ethercalc.adm ethercalc.adm.crans.org
    HostName ethercalc.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host freebox freebox.crans.org
    HostName freebox.crans.org
    User loginCr@ns
    ForwardAgent yes

Host ft ft.crans.org
    HostName ft.crans.org
    User loginCr@ns
    ForwardAgent yes

Host ft.adm ft.adm.crans.org
    HostName ft.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host fy munin fy.crans.org munin.crans.org
    HostName fy.crans.org
    User loginCr@ns
    ForwardAgent yes

Host fy.adm fy.adm.crans.org
    HostName fy.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host fz fz.crans.org
    HostName fz.crans.org
    User loginCr@ns
    ForwardAgent yes

Host fz.adm fz.adm.crans.org
    HostName fz.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
    HostName geet.crans.org
    User loginCr@ns
    ForwardAgent yes

Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
    HostName geet.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host horde webmail horde.crans.org webmail.crans.org
    HostName horde.crans.org
    User loginCr@ns
    ForwardAgent yes

Host horde.adm horde.adm.crans.org
    HostName horde.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
    HostName irc.crans.org
    User loginCr@ns
    ForwardAgent yes

Host irc.adm irc.adm.crans.org
    HostName irc.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host isc isc.crans.org
    HostName isc.crans.org
    User loginCr@ns
    ForwardAgent yes

Host isc.adm isc.adm.crans.org
    HostName isc.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host kdell kdell.crans.org
    HostName kdell.crans.org
    User loginCr@ns
    ForwardAgent yes

Host kdell.adm kdell.adm.crans.org
    HostName kdell.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host kenobi infinoted kenobby laval obby pad pastebin zero kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org pad.crans.org zero.crans.org pastebin.crans.org
    HostName kenobi.crans.org
    User loginCr@ns
    ForwardAgent yes

Host kenobi.adm kenobi.adm.crans.org
    HostName kenobi.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host komaz komaz.crans.org
    HostName komaz.crans.org
    User loginCr@ns
    ForwardAgent yes

Host komaz-21 komaz-21.crans.org
    HostName komaz-21.crans.org
    User loginCr@ns
    ForwardAgent yes

Host komaz.adm komaz.adm.crans.org
    HostName komaz.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host malloc malloc.crans.org
    HostName malloc.crans.org
    User loginCr@ns
    ForwardAgent yes

Host malloc.adm malloc.adm.crans.org
    HostName malloc.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host mediadrop video mediadrop.crans.org video.crans.org
    HostName mediadrop.crans.org
    User loginCr@ns
    ForwardAgent yes

Host mediadrop.adm mediadrop.adm.crans.org
    HostName mediadrop.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host nat64 nat64.crans.org
    HostName nat64.crans.org
    User loginCr@ns
    ForwardAgent yes

Host nat64.adm nat64.adm.crans.org
    HostName nat64.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host nem nem.crans.org
    HostName nem.crans.org
    User loginCr@ns
    ForwardAgent yes

Host nem.adm nem.adm.crans.org
    HostName nem.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
    HostName news.crans.org
    User loginCr@ns
    ForwardAgent yes

Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
    HostName news.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host niomniom 15ans autoconfig autostatus ca crans.ens-cachan.fr crans.org doc i-p install-party map webalizer wifi wiki wikipedia www www.15ans niomniom.crans.org wiki.crans.org www.crans.org install-party.crans.org autostatus.crans.org wifi.crans.org i-p.crans.org crans.org crans.ens-cachan.fr ca.crans.org webalizer.crans.org doc.crans.org map.crans.org wikipedia.crans.org 15ans.crans.org www.15ans.crans.org autoconfig.crans.org
    HostName niomniom.crans.org
    User loginCr@ns
    ForwardAgent yes

Host niomniom.adm niomniom.adm.crans.org
    HostName niomniom.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
    HostName o2.crans.org
    User loginCr@ns
    ForwardAgent yes

Host o2.adm o2.adm.crans.org
    HostName o2.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host odlyd odlyd.crans.org
    HostName odlyd.crans.org
    User loginCr@ns
    ForwardAgent yes

Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
    HostName odlyd.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host odlyd.wifi odlyd.wifi.crans.org
    HostName odlyd.wifi.crans.org
    User loginCr@ns
    ForwardAgent yes

Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
    HostName oie.crans.org
    User loginCr@ns
    ForwardAgent yes

Host oie.adm oie.adm.crans.org
    HostName oie.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host omnomnom omnomnom.crans.org
    HostName omnomnom.crans.org
    User loginCr@ns
    ForwardAgent yes

Host omnomnom.adm omnomnom.adm.crans.org
    HostName omnomnom.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
    HostName owl.crans.org
    User loginCr@ns
    ForwardAgent yes

Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
    HostName owl.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host owncloud owncloud.crans.org
    HostName owncloud.crans.org
    User loginCr@ns
    ForwardAgent yes

Host owncloud.adm owncloud.adm.crans.org
    HostName owncloud.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host pea pea.crans.org
    HostName pea.crans.org
    User loginCr@ns
    ForwardAgent yes

Host pea.adm pea.adm.crans.org
    HostName pea.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host pegase pegase.crans.org
    HostName pegase.crans.org
    User loginCr@ns
    ForwardAgent yes

Host puppet puppet.crans.org
    HostName puppet.crans.org
    User loginCr@ns
    ForwardAgent yes

Host puppet.adm puppet.adm.crans.org
    HostName puppet.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host redisdead list liste listes lists smtp redisdead.crans.org lists.crans.org smtp.crans.org liste.crans.org listes.crans.org list.crans.org
    HostName redisdead.crans.org
    User loginCr@ns
    ForwardAgent yes

Host redisdead.adm list.adm liste.adm listes.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org listes.adm.crans.org list.adm.crans.org liste.adm.crans.org
    HostName redisdead.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host rezosup rezosup.crans.org
    HostName rezosup.crans.org
    User loginCr@ns
    ForwardAgent yes

Host roundcube roundcube.crans.org
    HostName roundcube.crans.org
    User loginCr@ns
    ForwardAgent yes

Host roundcube.adm roundcube.adm.crans.org
    HostName roundcube.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host routeur deconnexion routeur.crans.org deconnexion.crans.org
    HostName routeur.crans.org
    User loginCr@ns
    ForwardAgent yes

Host routeur-21 routeur-21.crans.org
    HostName routeur-21.crans.org
    User loginCr@ns
    ForwardAgent yes

Host routeur.adm routeur.adm.crans.org
    HostName routeur.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
    HostName sable.crans.org
    User loginCr@ns
    ForwardAgent yes

Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
    HostName sable.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host sogo sogo.crans.org
    HostName sogo.crans.org
    User loginCr@ns
    ForwardAgent yes

Host sogo.adm sogo.adm.crans.org
    HostName sogo.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
    HostName soyouz.crans.org
    User loginCr@ns
    ForwardAgent yes

Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
    HostName soyouz.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host ssh2 mosh ssh2.crans.org mosh.crans.org
    # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
    # pour passer à travers les blocages de ports (443 = https)
    HostName 138.231.136.2
    Port 443
    User loginCr@ns
    ForwardAgent yes

Host stun-secondary stun-secondary.crans.org
    HostName stun-secondary.crans.org
    User loginCr@ns
    ForwardAgent yes

Host template template.crans.org
    HostName template.crans.org
    User loginCr@ns
    ForwardAgent yes

Host template.adm template.adm.crans.org
    HostName template.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
    HostName thot.crans.org
    User loginCr@ns
    ForwardAgent yes

Host thot.adm logs.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org logs.adm.crans.org
    HostName thot.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host titanic titanic.crans.org
    HostName titanic.crans.org
    User loginCr@ns
    ForwardAgent yes

Host titanic.adm titanic.adm.crans.org
    HostName titanic.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host tracker todo tracker.crans.org todo.crans.org
    HostName tracker.crans.org
    User loginCr@ns
    ForwardAgent yes

Host tracker.adm tracker.adm.crans.org
    HostName tracker.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host vo calendrier intranet-dev news-dev openid-dev weavesync vo.crans.org weavesync.crans.org intranet-dev.crans.org calendrier.crans.org openid-dev.crans.org news-dev.crans.org
    HostName vo.crans.org
    User loginCr@ns
    ForwardAgent yes

Host vo-eth0 vo-eth0.crans.org
    HostName vo-eth0.crans.org
    User loginCr@ns
    ForwardAgent yes

Host vo.adm vo.adm.crans.org
    HostName vo.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host xmpp aim chat.yahoo conference conference.jabber icq jabber yahoo xmpp.crans.org icq.crans.org aim.crans.org conference.crans.org jabber.crans.org yahoo.crans.org chat.yahoo.crans.org conference.jabber.crans.org
    HostName xmpp.crans.org
    User loginCr@ns
    ForwardAgent yes

Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
    HostName xmpp.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host ytrap-llatsni ytrap-llatsni.crans.org
    HostName ytrap-llatsni.crans.org
    User loginCr@ns
    ForwardAgent yes

Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
    HostName ytrap-llatsni.adm.crans.org
    User loginCr@ns
    ForwardAgent yes

Host zamok accounts ajaxterm bda-paris bde bleu blogs clubs clubs.ens-cachan.fr factures impression intranet mysql perso pot-vieux ssh www.clubs.ens-cachan.fr zamok.crans.org ssh.crans.org impression.crans.org perso.crans.org clubs.ens-cachan.fr www.clubs.ens-cachan.fr mysql.crans.org bleu.crans.org intranet.crans.org blogs.crans.org bda-paris.crans.org factures.crans.org accounts.crans.org ajaxterm.crans.org clubs.crans.org bde.crans.org pot-vieux.crans.org
    HostName zamok.crans.org
    User loginCr@ns
    ForwardAgent yes

Host zamok.adm bleu.adm impression.adm users.adm zamok.adm.crans.org bleu.adm.crans.org impression.adm.crans.org users.adm.crans.org
    HostName zamok.adm.crans.org
    User loginCr@ns
    ForwardAgent yes


# +-------------------------+
# | Serveurs Cr@ns adm-only |
# +-------------------------+
# Accessibles aux apprentis, mais ne sont que sur le VLAN adm
# d'où la ProxyCommand

Host babar.adm babar babar babar.adm.crans.org
    HostName babar.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p

Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
    HostName bcfg2.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p

Host eap.adm eap eap eap.adm.crans.org
    HostName eap.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p

Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
    HostName kdell-idrac.adm.crans.org
    User root
    ProxyCommand ssh sable.crans.org -W %h:%p

Host *-ilo
    HostName %h.adm.crans.org
    User Administrator
    PasswordAuthentication yes
    ChallengeResponseAuthentication no
    GSSAPIAuthentication no
    HostbasedAuthentication no
    PubkeyAuthentication no
    RSAAuthentication no
    Compression no
    ForwardAgent no
    ForwardX11 no
    KexAlgorithms diffie-hellman-group1-sha1
    MACs hmac-md5,hmac-sha1
    Ciphers aes128-cbc,3des-cbc
    HostKeyAlgorithms ssh-rsa,ssh-dss
    ProxyCommand ssh sable.crans.org -W %h:%p

Host radius.adm radius radius radius.adm.crans.org
    HostName radius.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p

Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
    HostName sable-ilo.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p
    HostKeyAlgorithms ssh-rsa

Host slon.adm slon slon slon.adm.crans.org
    HostName slon.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p

Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
    HostName vert.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p

Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
    HostName zbee-idrac.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p

Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
    HostName zbee.adm.crans.org
    User loginCr@ns
    ForwardAgent yes
    ProxyCommand ssh sable.crans.org -W %h:%p


#~# # +---------+
#~# # | 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
#~# 
#~# # 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
#~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
#~#     ForwardAgent yes
#~# 
#~# Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
#~#     HostName %h
#~#     User loginENS
#~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
#~#     ForwardAgent yes


# END (utile pour éviter les merge conflicts)