Update ssh config

.ssh/config

@@ -1,6 +1,3 @@
-# If ssh does not have gssapi enabled:
-IgnoreUnknown GSSAPIKeyExchange
-
 ForwardX11 yes
 ForwardX11Trusted yes
 ForwardAgent yes
@@ -10,21 +7,6 @@ Host home
   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
@@ -35,34 +17,11 @@ Host pi3
   User ubuntu
   Port 22
 
-Host hebbe
+Host kubacloud
-  Hostname hebbe1.c3se.chalmers.se
+  HostName 167.233.128.121
-  User fojt
+  User root
-
-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
+  IdentityFile ~/.ssh/id_alt_cloud
-  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