diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-09-04 16:39:56 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-09-04 16:39:56 -0400 |
| commit | 0f9282d22dc773bd57f3482b79dd976316ec0467 (patch) | |
| tree | f0920aab9f59dda9674a995b33936e1379bab515 /Types/Remote.hs | |
| parent | 25ed1e54abcc25f729fed016ec77a8cd049142fa (diff) | |
git annex get from exports
Straightforward enough, except for the needed belt-and-suspenders sanity
checks to avoid foot shooting due to exports not being key/value stores.
* Even when annex.verify=false, always verify from exports.
* Only get files from exports that use a backend that supports
checksum verification.
* Never trust exports, even if the user says to, because then
`git annex drop` would drop content if the export seemed to contain
a copy.
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'Types/Remote.hs')
| -rw-r--r-- | Types/Remote.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs index 81f1dbe23..46750ee8d 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -159,7 +159,7 @@ unVerified a = do -- The FilePath will be relative, and may contain unix-style path -- separators. newtype ExportLocation = ExportLocation FilePath - deriving (Eq) + deriving (Show, Eq) data ExportActions a = ExportActions { exportSupported :: a Bool |