host zion
    user coolneng
    hostname 192.168.13.2
    port 22
    identityfile ~/.ssh/zion

host eu.nixbuild.net
  pubkeyacceptedkeytypes ssh-ed25519
  identityfile ~/.ssh/nixbuild

host hpc
    user vsc44348
    hostname login.hpc.ugent.be
    port 22
    identityfile ~/.ssh/id_ed25519

host kobo
    user root
    hostname 192.168.13.20
    port 22
    identityfile ~/.ssh/kobo

host kermit-gpu
    user aminka
    hostname bw26gpu1.ugent.be
    port 4480
    identityfile ~/.ssh/kermit-gpu

host bds
  user student
  hostname 193.191.169.70