diff options
author | Joey Hess <joeyh@joeyh.name> | 2018-08-30 11:18:20 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2018-08-30 11:18:20 -0400 |
commit | 8b39db20b509844cd0883d589c2b7348756961c5 (patch) | |
tree | 7a3891b9eb4a1d948a1f3ef654460e4fdb234fc1 /Types | |
parent | 02630b39ee27ddec66755dfd490b5f4f9f78dc95 (diff) |
export appendonly support
Make `git annex export` check appendonly when removing a file from an
export, and not update the location log, since the remote still contains
the content.
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'Types')
-rw-r--r-- | Types/Remote.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs index 2097e25270..3f49c819e5 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -123,7 +123,9 @@ data RemoteA a = Remote -- a Remote can be known to be readonly , readonly :: Bool -- a Remote can allow writes but not have a way to delete content - -- from it + -- from it. Note that an export remote that supports removeExport + -- to remove a file from the exported tree, but still retains the + -- content in accessible form should set this to True. , appendonly :: Bool -- a Remote can be globally available. (Ie, "in the cloud".) , availability :: Availability |