diff options
| author |  Fraser Tweedale <frase@frase.id.au> | 2014-05-16 21:34:43 +1000 |
|---|---|---|
| committer |  Joey Hess <joey@kitenet.net> | 2014-05-16 15:46:43 -0400 |
| commit | 905eaa8cf73a52d92edcb62c17abb2ca9bed863e (patch) | |
| tree | 17f00f9ae395502c992dcc4d989328f460057410 /Utility/URI.hs | |
| parent | eefa96844ef813b5ef985ff2db361988047546db (diff) | |
execute remote.<name>.annex-shell on remote, if set
It is useful to be able to specify an alternative git-annex-shell
program to execute on the remote, e.g., to run a version not on the
PATH. Use remote.<name>.annex-shell if specified, instead of the
default "git-annex-shell" i.e., first so-named executable on the
PATH.
Diffstat (limited to 'Utility/URI.hs')
0 files changed, 0 insertions, 0 deletions