3 ms·
I already do this with a simple shell script: if [ $1 == "home" ]; then ssh-add -D ssh-add ~/.ssh/id_rsa_home ssh -T git@github-home
by hliyan 12y ago
I already do this with a simple shell script:
if [ $1 == "home" ]; then
ssh-add -D
ssh-add ~/.ssh/id_rsa_home
ssh -T git@github-home
exit;
fi
where in ~/.ssh/config:
Host github-home
HostName github.com
User git
IdentityFile ~/.ssh/id_rsa_home
IdentitiesOnly yes
- cies 12y agoI also have stuff like this lying around. Please don't tell Github because I seem to remember it is against their policy. :)
- hliyan 12y agoActually they're okay with it. I checked with them about how to do this and they recommended a single account instead. When I said I needed to keep my corporate and personal accounts separate for policy reasons, they were fine with it.