ssh_config-ProxyJump 563 bytes
# N.B. : l'ordre est important !
# gitlab-ssh.irstea.fr est public
Host gitlab-ssh.irstea.fr
    # Force l'utilisateur
    User git
    # Pas de ProxyJump
    ProxyJump none
# Pour ces trois cas, utiliser le "proxy" sur port 22
Host vpn-proxy 127.0.0.200 isdevtools.irstea.fr
    # Force l'adresse IP
    Hostname 127.0.0.200
    # Force l'utilisateur
    User devops
    # Pas de ProxyJump
    ProxyJump none
# Pour tous les hôtes en *.irstea.fr et *.irstea.priv
Host *.irstea.fr *.irstea.priv
    # Utilise vpn-proxy comme ProxyJump
    ProxyJump vpn-proxy