Hey Bennet,
> Host carpenter-git
> HostName github.com
> IdentityFile /Users/bennet/.ssh/carpenterbennet
> Host just-git
> HostName github.com
> IdentityFile /Users/bennet/.ssh/justbennet
You might find it interesting to try a small change:
Host carpenter-git just-git
HostName github.com
User git
Host carpenter-git
IdentityFile /Users/bennet/.ssh/carpenterbennet
Host just-git
IdentityFile /Users/bennet/.ssh/justbennet
This would give two benefits:
* You don't have to worry about the "git@" part when specifying the remote.
* If you need to change the way you access GitHub (eg you're stuck behind
some organisation's oppressive proxy and need to tunnel your way out) you
will just need to change the config in one place.
Kind regards,
Tim
_______________________________________________
Discuss mailing list
[email protected]
http://lists.software-carpentry.org/mailman/listinfo/discuss_lists.software-carpentry.org
