diff options
Diffstat (limited to 'Types/GitConfig.hs')
| -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 86bfd39b6..014a409e1 100644 --- a/Types/GitConfig.hs +++ b/Types/GitConfig.hs @@ -35,6 +35,7 @@ data GitConfig = GitConfig , annexHttpHeadersCommand :: Maybe String , annexAutoCommit :: Bool , annexWebOptions :: [String] + , annexCrippledFileSystem :: Bool } extractGitConfig :: Git.Repo -> GitConfig @@ -55,6 +56,7 @@ extractGitConfig r = GitConfig , annexHttpHeadersCommand = getmaybe "http-headers-command" , annexAutoCommit = getbool "autocommit" True , annexWebOptions = getwords "web-options" + , annexCrippledFileSystem = getbool "crippledfilesystem" False } where get k def = fromMaybe def $ getmayberead k |