#
# Define the Jump Host
#
Host jump_fbk_eu
   Hostname jump.fbk.eu
#
# FBK login name for Jump Host
#
   User <fbk_login_name>
#
# Specify a non default private key
#
   IdentityFile ~/.ssh/<private_key_file>
#
# Mandatory if multiple ssh keys are found under $HOME/.ssh
#
   IdentitiesOnly yes
#
# Match all host except Jump Host
#
Host * !jump_fbk_eu
   Hostname %h
#
# Use the Jump Host
#
   ProxyJump jump_fbk_eu
#
# Define internal host login name
#
   User <fbk_login_name>
#
# Specify a private keys, 
# Required only if different from the one used
# in the Jump Host definition
#
   IdentityFile ~/.ssh/<private_key_file>
#
# Mandatory if multiple ssh keys are found under $HOME/.ssh
#
   IdentitiesOnly yes