diff options
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/GitConfig.hs | 2 | ||||
| -rw-r--r-- | Types/KeySource.hs | 7 |
2 files changed, 7 insertions, 2 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 diff --git a/Types/KeySource.hs b/Types/KeySource.hs index f4885767a..628954c33 100644 --- a/Types/KeySource.hs +++ b/Types/KeySource.hs @@ -12,9 +12,12 @@ module Types.KeySource where - - The contentLocation may be different from the filename - associated with the key. For example, the add command - - temporarily puts the content into a lockdown directory + - may temporarily hard link the content into a lockdown directory - for checking. The migrate command uses the content - - of a different Key. -} + - of a different Key. + - + - + -} data KeySource = KeySource { keyFilename :: FilePath , contentLocation :: FilePath |