# If ssh does not have gssapi enabled:
IgnoreUnknown GSSAPIKeyExchange

Host home
  HostName isabeljake.duckdns.org
  User kuba
  Port 9216
  ForwardAgent yes
  ForwardX11Trusted yes

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

Host geym
  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

Host vera
  Hostname vera1.c3se.chalmers.se
  User fojt

Host vera2
  Hostname vera2.c3se.chalmers.se
  User fojt

Host tetralith
  Hostname tetralith1.nsc.liu.se
  User x_jakfo

Host tetralith2
  Hostname tetralith2.nsc.liu.se
  User x_jakfo
