# # Match all host except jump.fbk.eu # Host * !jump.fbk.eu Hostname %h # # Specify remote user # User # # Specify a non default public key # IdentityFile ~/.ssh/ ProxyCommand ssh.exe -q -W %h:%p %r@jump.fbk.eu # # ProxyJump jump.fbk.eu does not work due a w10 implementation bug #