# If ssh does not have gssapi enabled:
IgnoreUnknown GSSAPIKeyExchange

ForwardX11 yes
ForwardX11Trusted yes
ForwardAgent yes

Host home
  HostName isabeljake.duckdns.org
  User kuba
  Port 9216

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

Host geym
  HostName geym.fy.chalmers.se
  User jakub
  Port 22209

Host kubaServer
  HostName 192.168.0.102
  User ubuntu
  Port 22

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

Host remote11
  HostName remote11.chalmers.se
  User fojt
  Port 22
  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 *
    ForwardAgent no
    ForwardX11 no
    ForwardX11Trusted no
