# Define the jumphost
Host jumpsso
  Hostname jumpsso.fbk.eu
  User <FBK_login_name>
  # Specify a non default private key
  IdentityFile ~/.ssh/id_ecdsa

# Match all host except jumphost
Host * !jumpsso
  Hostname %h
  # Specify a default user name
  User <host_user>
  # Specify a default private key
  IdentityFile ~/.ssh/private_key_file