From 8b39db20b509844cd0883d589c2b7348756961c5 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 30 Aug 2018 11:18:20 -0400 Subject: 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. --- Types/Remote.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Types') 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 -- cgit v1.2.3