AddKeysToAgent confirm

Host proxy_pp hindley hindley.adh.auro.re
    HostName hindley.adh.auro.re
    User histausse

Host haskell
    HostName 45.66.110.112
    User histausse

Host lovelace lovelace.adh.auro.re
    HostName lovelace.adh.auro.re
    User histausse

Host azerty azerty.fil.sand.auro.re
    Hostname azerty.fil.sand.auro.re
    ProxyJump proxy_pp
    User histausse

Host 10.128.0.* *.adm.auro.re
#    ProxyJump passerelle.auro.re
    ProxyJump camelot.auro.re
    CertificateFile ~/.ssh/id_ed25519-cert-aurore.pub
    User histausse

Host *.auro.re
    User histausse

Host proxy-telecom
    Hostname ssh.enst.fr
    User jmmineau

Host telecom
    Hostname tp-3a101-12.enst.fr
    ProxyJump proxy-telecom
    User jmmineau
    #RemoteCommand "source .xonsh_env/bin/activate && xonsh"

Host perso-telecom
    Hostname perso-jmmineau.lxc.enst.fr
    ProxyJump proxy-telecom
    User jmmineau

Host 172.20.*.*
    User histausse

Host vps-a862b615.vps.ovh.net
    User admin
    IdentityFile ~/.ssh/id_medarus

Host groseille
    Hostname 10.50.3.250
    User pi

Host synapse
    Hostname nyx.ovh
    Port 4502
    User histausse

Host example.fr
    HostName hindley.adh.auro.re
    User histausse

Host krypton
    Hostname nyx.ovh
    Port 4503
    User histausse

Host shannon
    Hostname 192.168.42.1
    User root

Host proxy_eurecom
    Hostname ssh.eurecom.fr
    HostKeyAlgorithms +ssh-rsa
    User mineau

Host gitea.auro.re
    User git
    ProxyJump hindley

Host ubuntusnap2
    Hostname 192.168.56.5
    User histausse
    IdentityFile ~/.ssh/id_local

Host centossnap
    Hostname 192.168.56.4
    User histausse
    IdentityFile ~/.ssh/id_local

Host syssec
    Hostname syssec-lab.s3.eurecom.fr
    User histausse

Host goadec
    Hostname goadec.home
    User histausse