2023-10-18 18:54:27 +02:00
|
|
|
Host Hugo
|
|
|
|
|
User admin
|
|
|
|
|
HostName 192.168.0.11
|
|
|
|
|
IdentitiesOnly yes
|
|
|
|
|
IdentityFile /run/secrets/Hugo/ssh
|
|
|
|
|
|
|
|
|
|
Host HPC
|
|
|
|
|
User vsc44995
|
|
|
|
|
HostName login.hpc.ugent.be
|
|
|
|
|
IdentitiesOnly yes
|
|
|
|
|
IdentityFile /run/secrets/UGent/HPC/ssh
|
|
|
|
|
|
|
|
|
|
# Git authentication
|
|
|
|
|
Host git.depeuter.dev
|
|
|
|
|
User git
|
|
|
|
|
HostName git.depeuter.dev
|
|
|
|
|
IdentitiesOnly yes
|
|
|
|
|
IdentityFile /run/secrets/Hugo/Gitea/ssh
|
|
|
|
|
|
|
|
|
|
Host github.com
|
|
|
|
|
User git
|
|
|
|
|
HostName github.com
|
|
|
|
|
IdentitiesOnly yes
|
|
|
|
|
IdentityFile /run/secrets/GitHub/ssh
|
|
|
|
|
|
|
|
|
|
Host github.ugent.be
|
|
|
|
|
User git
|
|
|
|
|
HostName github.ugent.be
|
|
|
|
|
IdentitiesOnly yes
|
|
|
|
|
IdentityFile /run/secrets/UGent/GitHub/ssh
|
|
|
|
|
|
|
|
|
|
Host subgit.ugent.be
|
|
|
|
|
User git
|
|
|
|
|
HostName subgit.ugent.be
|
|
|
|
|
IdentitiesOnly yes
|
|
|
|
|
IdentityFile /run/secrets/UGent/SubGit/ssh
|
2023-10-31 09:14:14 +01:00
|
|
|
CanonicalizeHostname yes # Ignore capitalization
|
2023-10-18 18:54:27 +02:00
|
|
|
|
