diff options
Diffstat (limited to '.ssh/config')
| -rw-r--r-- | .ssh/config | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/.ssh/config b/.ssh/config index 2ac9e78..05f710a 100644 --- a/.ssh/config +++ b/.ssh/config @@ -1,12 +1,21 @@ Host gbmor HostName gbmor.dev + VerifyHostKeyDNS yes User ben IdentitiesOnly yes IdentityFile ~/.ssh/id_rsa_yubikey.pub - RemoteForward /run/user/1000/gnupg/S.gpg-agent /run/user/1000/gnupg/S.gpg-agent.extra + RemoteForward /home/ben/.gnupg/S.gpg-agent /run/user/1000/gnupg/S.gpg-agent.extra Host institute inst HostName tilde.institute + VerifyHostKeyDNS yes + User gbmor + IdentitiesOnly yes + IdentityFile ~/.ssh/id_rsa_yubikey.pub + RemoteForward /home/gbmor/.gnupg/S.gpg-agent /run/user/1000/gnupg/S.gpg-agent.extra + +Host ns + HostName ns.tilde.institute User gbmor IdentitiesOnly yes IdentityFile ~/.ssh/id_rsa_yubikey.pub |