Hacker News new | ask | show | jobs
by hliyan 4067 days 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
1 comments

I also have stuff like this lying around. Please don't tell Github because I seem to remember it is against their policy.

:)

Actually 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.