diff options
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" |