# dhaos.delroth.net on the PIE
Host dhaos-pie
    Compression yes
    HostName 10.10.6.236
    User delroth

# dhaos.delroth.net
Host dhaos
    Compression yes
    HostName dhaos.delroth.net
    User delroth

# ssh.alwaysdata.com
Host ssh.ad
    Compression yes
    Hostname ssh.alwaysdata.com
    User delroth

# sandbox.alwaysdata.com
Host sandbox.ad
    Compression yes
    Hostname sandbox.alwaysdata.com
    User pbourdon

# Bitbucket SSH Mercurial access
Host bb
    Compression yes
    Hostname bitbucket.org
    User hg

# EPITA SSH Gate
Host epita
    Compression yes
    Hostname ssh.epita.fr
    User bourdo_p

# Prologin/Rakka
Host rakka
    Compression yes
    Hostname rakka.prologin.org
    User delroth

# Prologin/Hexaglobe
Host wwwprolo
    Compression yes
    Hostname www.prologin.org
    User prologin

# Prologin/Local
Host localprolo
    Compression yes
    Hostname local.prologin.org
    User root
