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 kathreftis
    user root
    hostname 192.168.13.47
    port 22
    identityfile ~/.ssh/kathreftis