diff options
author | 2017-09-12 14:08:00 -0400 | |
---|---|---|
committer | 2017-09-12 14:10:09 -0400 | |
commit | d9b80aca317a2484df5922d589b7b5e3bc30aa4a (patch) | |
tree | 071a71c75acb1deeb84aadf14d737294ac954512 /Remote/WebDAV | |
parent | 6550b6211c04cb27208dff3d17010643fe93a11c (diff) |
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.
Diffstat (limited to 'Remote/WebDAV')
-rw-r--r-- | Remote/WebDAV/DavLocation.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Remote/WebDAV/DavLocation.hs b/Remote/WebDAV/DavLocation.hs index daa669de1..82a3739d0 100644 --- a/Remote/WebDAV/DavLocation.hs +++ b/Remote/WebDAV/DavLocation.hs @@ -11,6 +11,7 @@ module Remote.WebDAV.DavLocation where import Types +import Types.Remote (ExportLocation(..)) import Annex.Locations import Utility.Url (URLString) #ifdef mingw32_HOST_OS @@ -46,6 +47,12 @@ keyLocation k = keyDir k ++ keyFile k keyTmpLocation :: Key -> DavLocation keyTmpLocation = tmpLocation . keyFile +exportLocation :: ExportLocation -> DavLocation +exportLocation (ExportLocation f) = f + +exportTmpLocation :: ExportLocation -> DavLocation +exportTmpLocation (ExportLocation f) = tmpLocation f + tmpLocation :: FilePath -> DavLocation tmpLocation f = tmpDir </> f |