configs/.ssh/config

AddKeysToAgent confirm

Host proxy_pp hindley hindley.adh.auro.re
	HostName hindley.adh.auro.re
    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
    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 hellman hellman.fil.sand.auro.re
    Hostname hellman.fil.sand.auro.re
	ProxyJump proxy_pp
	User histausse

Host rossum
    Hostname 172.20.1.4
#    Hostname 192.168.0.50
#    Hostname rossum.deso-palaiseau.fr
	User histausse

Host rossum
	Hostname rossum.deso-palaiseau.fr
	User histausse

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 ubuntusnap
    Hostname 192.168.56.3
    User histausse
	IdentityFile ~/.ssh/id_local

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