# .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)


# +--------------+
# | Mes machines |
# +--------------+

Host cerebro.crans.org cerebro
    HostName cerebro.crans.org
    User vincent
    ForwardAgent yes

Host eva.crans.org eva eeepc
    HostName eva.crans.org
    User vincent
    ForwardAgent yes

Host eva.local
    HostName 192.168.1.12
    User vincent
    ForwardAgent yes

Host evaw.local
    HostName 192.168.1.29
    User vincent
    ForwardAgent yes

Host eva.home evaf
    HostName 192.168.1.12
    User vincent
    ForwardAgent yes
    ProxyCommand ssh home.b2moo.fr -W %h:%p

Host evaw.home evaw
    HostName 192.168.1.29
    User vincent
    ForwardAgent yes
    ProxyCommand ssh home.b2moo.fr -W %h:%p

Host cabal.crans.org cabal.crans
    HostName cabal.crans.org
    User vincent
    ForwardAgent yes

Host cabal.local
    HostName 192.168.1.81
    User vincent
    ForwardAgent yes

Host cabalw.local
    HostName 192.168.1.63
    User vincent
    ForwardAgent yes

Host cabal.home cabal
    HostName 192.168.1.81
    User vincent
    ForwardAgent yes
    ProxyCommand ssh home.b2moo.fr -W %h:%p

Host cabalw.home cabalw
    HostName 192.168.1.63
    User vincent
    ForwardAgent yes
    ProxyCommand ssh home.b2moo.fr -W %h:%p

Host viki viki.wifi viki.wifi.crans.org
    HostName viki.wifi.crans.org
    User root
    Port 2222

Host gladys home colloc home.b2moo.fr
    HostName home.b2moo.fr
    User vincent
    ForwardAgent yes

Host gladys.local
    HostName 192.168.1.18
    User vincent
    ForwardAgent yes

# Les bots sur cerebro
Host basile
    HostName cerebro.crans.org
    User basile
    ForwardAgent yes
Host note-cerebro
    HostName cerebro.crans.org
    User note
    ForwardAgent yes
Host deconnaisseur
    HostName cerebro.crans.org
    User deconnaisseur
    ForwardAgent yes
Host pendu Hung hung
    HostName cerebro.crans.org
    User hung
    ForwardAgent yes
Host historien
    HostName cerebro.crans.org
    User historien
    ForwardAgent yes
Host salesman Salesman
    HostName cerebro.crans.org
    User salesman
    ForwardAgent yes
Host themis Themis
    HostName cerebro.crans.org
    User themis
    ForwardAgent yes
Host saturnin Saturnin
    HostName cerebro.crans.org
    User saturnin
    ForwardAgent yes
Host ibot iBot
    HostName cerebro.crans.org
    User ibot
    ForwardAgent yes


# +--------+
# | Pimeys |
# +--------+
# Serveur dédié online.net
# pimeys.fr = 62.210.178.115

Host pimeys pimeys.fr becue.eu
    HostName pimeys.fr
    User vincent
    ForwardAgent yes


# +-----------------+
# | Machines du BDE |
# +-----------------+
# Parce que j'étais respo-info Makiavé[list]

Host kfet kfet.crans.org
    HostName kfet.crans.org
    User bde
    # IPv4 only
    AddressFamily inet
    ForwardAgent yes

Host kfet-secours kfet-secours.crans.org
    HostName kfet-secours.crans.org
    User bde
    # IPv4 only
    AddressFamily inet

Host kfet2 kfet2.crans.org
    HostName kfet2.crans.org
    User vincent

Host bde-test note-test bde-test.crans.org note-test.crans.org
    HostName bde-test.crans.org
    User vincent
    ForwardAgent yes

Host ldap-bde bde2 bde-fallback bde2.crans.org ldap-bde.crans.org bde-fallback.crans.org
    HostName bde2.crans.org
    User vincent
    ForwardAgent yes

Host bde3 bde3.crans.org
    HostName bde3.crans.org
    User vincent
    ForwardAgent yes

Host note bde2-virt bde note.crans.ort bde2-virt.crans.org bde.crans.org
    HostName bde2-virt.crans.org
    User vincent
    ForwardAgent yes

Host note bde3-virt bde note.crans.ort bde3-virt.crans.org bde.crans.org
    HostName bde3-virt.crans.org
    User vincent
    ForwardAgent yes

Host video videobde videobde.crans.org
    HostName videobde.crans.org
    User vincent
    ForwardAgent yes

Host bureau bureau-bde bureau-bde.crans.org
    HostName bureau-bde.crans.org
    User bde

Host med zavoyarde med.crans.org zavoyarde.crans.org
    HostName zavoyarde.crans.org
    User vincent

# +----+
# | PE |
# +----+
# Parce que j'y suis le bienvenu

Host linkki linkki.crans.org
    HostName linkki.crans.org
    User sword

Host ilma ilma.wifi ilma.wifi.crans.org
    HostName ilma.wifi.crans.org
    User sword

Host ruoska ruoska.crans.org
    HostName ruoska.crans.org
    User vincent


# +-----+
# | Nit |
# +-----+
# Parce que j'y suis le bienvenu

# Le ftp de Nit, gère A♡-TV. 
Host power power.crans.org nit-git nit-git.crans.org
    HostName power.crans.org
    User vincent

# Réplicat du wikoeur
Host genua acoeur.genua.fr
    HostName acoeur.genua.fr
    User root
    AddressFamily inet6

# +----+
# | A♡ |
# +----+
# Parce que le département A♡ a un serveur

Host acoeur acoeur.crans.org
    HostName acoeur.crans.org
    User vincent
    ForwardAgent yes

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

Host alice.adm alice.adm.crans.org
    HostName alice.adm.crans.org
    User legallic
    ForwardAgent yes

Host appartement hackpartement appartement.crans.org hackpartement.crans.org
    HostName appartement.crans.org
    User legallic
    ForwardAgent yes

Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
    HostName apprentis.crans.org
    User legallic

Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
    HostName asterisk.crans.org
    User legallic
    ForwardAgent yes

Host asterisk.adm asterisk.adm.crans.org
    HostName asterisk.adm.crans.org
    User legallic
    ForwardAgent yes

Host backbone backbone.crans.org
    HostName backbone.crans.org
    User legallic
    ForwardAgent yes

Host backbone.adm backbone.adm.crans.org
    HostName backbone.adm.crans.org
    User legallic
    ForwardAgent yes

Host backbone.wifi backbone.wifi.crans.org
    HostName backbone.wifi.crans.org
    User legallic
    ForwardAgent yes

Host batk-0 batk-0.crans.org
    HostName batk-0.crans.org
    User legallic

Host cas auth login cas.crans.org login.crans.org auth.crans.org
    HostName cas.crans.org
    User legallic
    ForwardAgent yes

Host cas.adm cas.adm.crans.org
    HostName cas.adm.crans.org
    User legallic
    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 legallic
    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 legallic
    ForwardAgent yes

Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
    HostName civet.crans.org
    User legallic
    ForwardAgent yes

Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
    HostName civet.adm.crans.org
    User legallic
    ForwardAgent yes

Host cochon.adm cochon.adm.crans.org
    HostName cochon.adm.crans.org
    User legallic
    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 legallic
    ForwardAgent yes

Host cups cups.crans.org
    HostName cups.crans.org
    User legallic
    ForwardAgent yes

Host cups.adm cups.adm.crans.org
    HostName cups.adm.crans.org
    User legallic
    ForwardAgent yes

Host dhcp dhcp.crans.org
    HostName dhcp.crans.org
    User legallic
    ForwardAgent yes

Host dhcp-21 dhcp-21.crans.org
    HostName dhcp-21.crans.org
    User legallic
    ForwardAgent yes

Host dhcp.adm dhcp.adm.crans.org
    HostName dhcp.adm.crans.org
    User legallic
    ForwardAgent yes

Host dyson dyson.crans.org
    HostName dyson.crans.org
    User legallic
    ForwardAgent yes

Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
    HostName dyson.adm.crans.org
    User legallic
    ForwardAgent yes

Host ethercalc ethercalc.crans.org
    HostName ethercalc.crans.org
    User legallic
    ForwardAgent yes

Host ethercalc.adm ethercalc.adm.crans.org
    HostName ethercalc.adm.crans.org
    User legallic
    ForwardAgent yes

Host freebox freebox.crans.org
    HostName freebox.crans.org
    User legallic
    ForwardAgent yes

Host ft ft.crans.org
    HostName ft.crans.org
    User legallic
    ForwardAgent yes

Host ft.adm ft.adm.crans.org
    HostName ft.adm.crans.org
    User legallic
    ForwardAgent yes

Host fy munin fy.crans.org munin.crans.org
    HostName fy.crans.org
    User legallic
    ForwardAgent yes

Host fy.adm fy.adm.crans.org
    HostName fy.adm.crans.org
    User legallic
    ForwardAgent yes

Host fz fz.crans.org
    HostName fz.crans.org
    User legallic
    ForwardAgent yes

Host fz.adm fz.adm.crans.org
    HostName fz.adm.crans.org
    User legallic
    ForwardAgent yes

Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
    HostName geet.crans.org
    User legallic
    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 legallic
    ForwardAgent yes

Host horde webmail horde.crans.org webmail.crans.org
    HostName horde.crans.org
    User legallic
    ForwardAgent yes

Host horde.adm horde.adm.crans.org
    HostName horde.adm.crans.org
    User legallic
    ForwardAgent yes

Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
    HostName irc.crans.org
    User legallic
    ForwardAgent yes

Host irc.adm irc.adm.crans.org
    HostName irc.adm.crans.org
    User legallic
    ForwardAgent yes

Host isc isc.crans.org
    HostName isc.crans.org
    User legallic
    ForwardAgent yes

Host isc.adm isc.adm.crans.org
    HostName isc.adm.crans.org
    User legallic
    ForwardAgent yes

Host kdell kdell.crans.org
    HostName kdell.crans.org
    User legallic
    ForwardAgent yes

Host kdell.adm kdell.adm.crans.org
    HostName kdell.adm.crans.org
    User legallic
    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 legallic
    ForwardAgent yes

Host kenobi.adm kenobi.adm.crans.org
    HostName kenobi.adm.crans.org
    User legallic
    ForwardAgent yes

Host komaz komaz.crans.org
    HostName komaz.crans.org
    User legallic
    ForwardAgent yes

Host komaz-21 komaz-21.crans.org
    HostName komaz-21.crans.org
    User legallic
    ForwardAgent yes

Host komaz.adm komaz.adm.crans.org
    HostName komaz.adm.crans.org
    User legallic
    ForwardAgent yes

Host malloc malloc.crans.org
    HostName malloc.crans.org
    User legallic
    ForwardAgent yes

Host malloc.adm malloc.adm.crans.org
    HostName malloc.adm.crans.org
    User legallic
    ForwardAgent yes

Host mediadrop video mediadrop.crans.org video.crans.org
    HostName mediadrop.crans.org
    User legallic
    ForwardAgent yes

Host mediadrop.adm mediadrop.adm.crans.org
    HostName mediadrop.adm.crans.org
    User legallic
    ForwardAgent yes

Host nat64 nat64.crans.org
    HostName nat64.crans.org
    User legallic
    ForwardAgent yes

Host nat64.adm nat64.adm.crans.org
    HostName nat64.adm.crans.org
    User legallic
    ForwardAgent yes

Host nem nem.crans.org
    HostName nem.crans.org
    User legallic
    ForwardAgent yes

Host nem.adm nem.adm.crans.org
    HostName nem.adm.crans.org
    User legallic
    ForwardAgent yes

Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
    HostName news.crans.org
    User legallic
    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 legallic
    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 legallic
    ForwardAgent yes

Host niomniom.adm niomniom.adm.crans.org
    HostName niomniom.adm.crans.org
    User legallic
    ForwardAgent yes

Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
    HostName o2.crans.org
    User legallic
    ForwardAgent yes

Host o2.adm o2.adm.crans.org
    HostName o2.adm.crans.org
    User legallic
    ForwardAgent yes

Host odlyd odlyd.crans.org
    HostName odlyd.crans.org
    User legallic
    ForwardAgent yes

Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
    HostName odlyd.adm.crans.org
    User legallic
    ForwardAgent yes

Host odlyd.wifi odlyd.wifi.crans.org
    HostName odlyd.wifi.crans.org
    User legallic
    ForwardAgent yes

Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
    HostName oie.crans.org
    User legallic
    ForwardAgent yes

Host oie.adm oie.adm.crans.org
    HostName oie.adm.crans.org
    User legallic
    ForwardAgent yes

Host omnomnom omnomnom.crans.org
    HostName omnomnom.crans.org
    User legallic
    ForwardAgent yes

Host omnomnom.adm omnomnom.adm.crans.org
    HostName omnomnom.adm.crans.org
    User legallic
    ForwardAgent yes

Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
    HostName owl.crans.org
    User legallic
    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 legallic
    ForwardAgent yes

Host owncloud owncloud.crans.org
    HostName owncloud.crans.org
    User legallic
    ForwardAgent yes

Host owncloud.adm owncloud.adm.crans.org
    HostName owncloud.adm.crans.org
    User legallic
    ForwardAgent yes

Host pea pea.crans.org
    HostName pea.crans.org
    User legallic
    ForwardAgent yes

Host pea.adm pea.adm.crans.org
    HostName pea.adm.crans.org
    User legallic
    ForwardAgent yes

Host pegase pegase.crans.org
    HostName pegase.crans.org
    User legallic
    ForwardAgent yes

Host puppet puppet.crans.org
    HostName puppet.crans.org
    User legallic
    ForwardAgent yes

Host puppet.adm puppet.adm.crans.org
    HostName puppet.adm.crans.org
    User legallic
    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 legallic
    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 legallic
    ForwardAgent yes

Host rezosup rezosup.crans.org
    HostName rezosup.crans.org
    User legallic
    ForwardAgent yes

Host roundcube roundcube.crans.org
    HostName roundcube.crans.org
    User legallic
    ForwardAgent yes

Host roundcube.adm roundcube.adm.crans.org
    HostName roundcube.adm.crans.org
    User legallic
    ForwardAgent yes

Host routeur deconnexion routeur.crans.org deconnexion.crans.org
    HostName routeur.crans.org
    User legallic
    ForwardAgent yes

Host routeur-21 routeur-21.crans.org
    HostName routeur-21.crans.org
    User legallic
    ForwardAgent yes

Host routeur.adm routeur.adm.crans.org
    HostName routeur.adm.crans.org
    User legallic
    ForwardAgent yes

Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
    HostName sable.crans.org
    User legallic
    ForwardAgent yes

Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
    HostName sable.adm.crans.org
    User legallic
    ForwardAgent yes

Host sogo sogo.crans.org
    HostName sogo.crans.org
    User legallic
    ForwardAgent yes

Host sogo.adm sogo.adm.crans.org
    HostName sogo.adm.crans.org
    User legallic
    ForwardAgent yes

Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
    HostName soyouz.crans.org
    User legallic
    ForwardAgent yes

Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
    HostName soyouz.adm.crans.org
    User legallic
    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 legallic
    ForwardAgent yes

Host stun-secondary stun-secondary.crans.org
    HostName stun-secondary.crans.org
    User legallic
    ForwardAgent yes

Host template template.crans.org
    HostName template.crans.org
    User legallic
    ForwardAgent yes

Host template.adm template.adm.crans.org
    HostName template.adm.crans.org
    User legallic
    ForwardAgent yes

Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
    HostName thot.crans.org
    User legallic
    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 legallic
    ForwardAgent yes

Host titanic titanic.crans.org
    HostName titanic.crans.org
    User legallic
    ForwardAgent yes

Host titanic.adm titanic.adm.crans.org
    HostName titanic.adm.crans.org
    User legallic
    ForwardAgent yes

Host tracker todo tracker.crans.org todo.crans.org
    HostName tracker.crans.org
    User legallic
    ForwardAgent yes

Host tracker.adm tracker.adm.crans.org
    HostName tracker.adm.crans.org
    User legallic
    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 legallic
    ForwardAgent yes

Host vo-eth0 vo-eth0.crans.org
    HostName vo-eth0.crans.org
    User legallic
    ForwardAgent yes

Host vo.adm vo.adm.crans.org
    HostName vo.adm.crans.org
    User legallic
    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 legallic
    ForwardAgent yes

Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
    HostName xmpp.adm.crans.org
    User legallic
    ForwardAgent yes

Host ytrap-llatsni ytrap-llatsni.crans.org
    HostName ytrap-llatsni.crans.org
    User legallic
    ForwardAgent yes

Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
    HostName ytrap-llatsni.adm.crans.org
    User legallic
    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 pot-vieux.crans.org
    HostName zamok.crans.org
    User legallic
    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 legallic
    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 legallic
    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 legallic
    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 legallic
    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 legallic
    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 legallic
    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 legallic
    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 legallic
    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 legallic
    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 legallic
    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 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


# +---------+
# | RezoSup |
# +---------+
# Réseau IRC des grandes écoles

Host oswaft oswaft.rezosup.net
    HostName oswaft.rezosup.net
    User vincent


# +-------------------+
# | 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 tselin2
    HostName tselin2.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


# +------------------+
# | 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 vlegalli
    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 vlegalli
    ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
    ForwardAgent yes

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


# +--------+
# | Stages |
# +--------+

Host mars mars.lbpa mars.lbpa.ens-cachan.fr
    HostName mars.lbpa.ens-cachan.fr
    User vincent
    ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p


# +------+
# | Labo |
# +------+

# Homes montées mais != passerelle
Host lri acces.lri ssh.lri acces.lri.fr
    HostName acces.lri.fr
    User legallic
    ForwardAgent yes

# Passerelle d'entrée, utilisable que par clé
Host pl-ssh pl-ssh.lri.fr
    HostName pl-ssh.lri.fr
    PasswordAuthentication no
    User legallic
    ForwardAgent yes

Host labo lri30-13 lri30-13.lri.fr
    HostName lri30-13.lri.fr
    User legallic
    ForwardAgent yes
    ProxyCommand ssh pl-ssh.lri.fr -W %h:%p

Host hal hal.labo 129.175.30.228
    HostName 129.175.30.228
    User vincent
    ForwardAgent yes
    ProxyCommand ssh pl-ssh.lri.fr -W %h:%p

# END (utile pour éviter les merge conflicts)