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 idlab
    user akasroua
    hostname 10.10.193.39
    port 22
    identityfile ~/.ssh/idlab