# 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 aino
  HostName aino.fy.chalmers.se
  User jakub
  Port 22209

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

Host sharknado
  HostName 130.239.81.182
  User ubuntu
  IdentityFile ~/.ssh/jupyterhub_rsa

Host pi4
  HostName 192.168.0.200
  User ubuntu
  Port 22

Host pi3
  HostName 192.168.0.202
  User ubuntu
  Port 22

Host hebbe
  Hostname hebbe1.c3se.chalmers.se
  User fojt

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 dardel
  Hostname dardel.pdc.kth.se
  User fojt
  GSSAPIAuthentication yes
  GSSAPIKeyExchange yes
  GSSAPIDelegateCredentials yes
  PreferredAuthentications gssapi-keyex,gssapi-with-mic

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

Host pdctransfer
  Hostname t04n27.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