git profiles. 

for _years_ i've been using a shell script in order to use another key for work that basically does this:
$ GIT_SSH_COMMAND="ssh -i ~/.ssh/work/id_ed25519" git $@

So I thought that today was a good day to improve this situation and wrote this simple tool:

Then read the git-config docs and found out about `includeIf`


Web 0 0 1
Sign in to participate in the conversation
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko