Jeff King <p...@peff.net> writes:
> We already have GIT_SSH, so I would expect:
> GIT_SSH='ssh -i $HOME/.ssh/id_for_example_com' git push
> to work. But sadly, GIT_SSH does not use the shell, unlike most other
> configure git commands. :(
You read me correctly ;-)
> We could consider it a consistency bug and fix it, though I suspect we
> may be annoying people on Windows who have spaces in their paths.
Again, you read me correctly ;-)
> You could write a credential helper shell script that knows about
> classes of remotes (e.g., selecting an identity file based on the
> hostname), and write only a few lines to cover a large number of hosts.
Yes, but the same trick can be used in $HOME/.ssh/config to let one
entry cover the same large number of hosts, so...
> For example:
> test "$1" = "get" || exit 0
> while IFS== read key val; do
> test "$key" = "host" || continue
> case "$val" in
> *.example.com) echo sshident=com_key ;;
> *.example.net) echo sshident=net_key ;;
> But it feels a bit hacky to be using the credential helpers at all for
> ssh connections.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html