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 pcs_lab user git hostname github.ugent.be identityfile ~/.ssh/pcs_lab_deploy_key