# 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 puffinus
  HostName puffinus.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 tetralith.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
  IdentityFile ~/.ssh/id-ed25519-pdc

Host *
    ForwardAgent no
    ForwardX11 no
    ForwardX11Trusted no
