From d9b80aca317a2484df5922d589b7b5e3bc30aa4a Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 12 Sep 2017 14:08:00 -0400 Subject: export to webdav This basically works, but there's a bug when renaming a file that leaves a .git-annex-temp-content-key file in the webdav store, that never gets cleaned up. Also, exporting files with spaces to box.com seems to fail; perhaps it does not support it? This commit was supported by the NSF-funded DataLad project. --- Command/Export.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Command') diff --git a/Command/Export.hs b/Command/Export.hs index d2ba53dd2..52355e69d 100644 --- a/Command/Export.hs +++ b/Command/Export.hs @@ -304,7 +304,9 @@ performRename r db ek src dest = do ( next $ cleanupRename db ek src dest -- In case the special remote does not support renaming, -- unexport the src instead. - , performUnexport r db [ek] src + , do + warning "rename failed; deleting instead" + performUnexport r db [ek] src ) cleanupRename :: ExportHandle -> ExportKey -> ExportLocation -> ExportLocation -> CommandCleanup -- cgit v1.2.3