# If ssh does not have gssapi enabled:
IgnoreUnknown GSSAPIKeyExchange

Host home
  HostName isabeljake.olf.sgsnet.se
  User kuba
  Port 9216
  ForwardX11Trusted yes

Host dali
  HostName geym.fy.chalmers.se
  User jakub
  Port 22209
  ForwardX11Trusted yes

Host kubaServer
  HostName 192.168.0.102
  User pi
  Port 22
  ForwardX11Trusted yes

Host remote11
  HostName remote11.chalmers.se
  User fojt
  Port 22
  ForwardX11Trusted yes
  ControlMaster auto
  ControlPersist yes
  ControlPath ~/.ssh/socket-%r@%h:%p

Host beskow
  Hostname beskow.pdc.kth.se
  User fojt
  GSSAPIAuthentication yes
  GSSAPIKeyExchange yes
  GSSAPIDelegateCredentials yes
  PreferredAuthentications gssapi-keyex,gssapi-with-mic

Host tegner
  Hostname tegner.pdc.kth.se
  User fojt
  GSSAPIAuthentication yes
  GSSAPIKeyExchange yes
  GSSAPIDelegateCredentials yes
  PreferredAuthentications gssapi-keyex,gssapi-with-mic
