AddKeysToAgent confirm

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 krypton
    Hostname nyx.ovh
    Port 4503
    User histausse

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