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 /Types | |
| 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 'Types')
| -rw-r--r-- | Types/GitConfig.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Types/GitConfig.hs b/Types/GitConfig.hs index 71f06ff45..29a7c9019 100644 --- a/Types/GitConfig.hs +++ b/Types/GitConfig.hs @@ -119,6 +119,7 @@ data RemoteGitConfig = RemoteGitConfig {- These settings are specific to particular types of remotes - including special remotes. -} + , remoteAnnexShell :: Maybe String , remoteAnnexSshOptions :: [String] , remoteAnnexRsyncOptions :: [String] , remoteAnnexRsyncUploadOptions :: [String] @@ -151,6 +152,7 @@ extractRemoteGitConfig r remotename = RemoteGitConfig , remoteAnnexAvailability = getmayberead "availability" , remoteAnnexBare = getmaybebool "bare" + , remoteAnnexShell = getmaybe "shell" , remoteAnnexSshOptions = getoptions "ssh-options" , remoteAnnexRsyncOptions = getoptions "rsync-options" , remoteAnnexRsyncDownloadOptions = getoptions "rsync-download-options" |