Tim, Nice refinement. Thank you!
-- bennet On Tue, Apr 19, 2016 at 4:35 PM, Timothy Rice <[email protected]> wrote: > 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
