Literate will ask for SSH passphrase multiple times

[cjalmeida]

Similar issue to #196, Literate.jl will still ask for a passphrase if your SSH key is password protected.

The fix in #194 introduces a regression where it ignores ssh-agent variables. It should use withenv instead of setenv.

The actual fix requires add adding the BatchMode option to GIT_SSH_COMMAND.

[fredrikekre]

It shouldn't ask at all -- what version of git are you using?

The fix in #194 introduces a regression where it ignores ssh-agent variables. It should use withenv instead of setenv.

It is better to use addenv (a7bdb8c).

The actual fix requires add adding the BatchMode option to GIT_SSH_COMMAND.

Yea, maybe this is a better way to supress prompts compared to 75f4e21 (but that patch is still needed for https auth I think)? Edit: 063f654