diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-09-07 13:45:31 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-09-07 13:48:44 -0400 |
| commit | d910a94df7d6f5c87897c248586cb65523457f99 (patch) | |
| tree | 692446ec624e63ac8fa4aec72f0b5ee8e5d13723 /Remote/WebDAV.hs | |
| parent | 7bd9a9cad8b413f4b09f9ab11a9d6d7ce72b8336 (diff) | |
prevent exporttree=yes on remotes that don't support exports
Don't allow "exporttree=yes" to be set when the special remote
does not support exports. That would be confusing since the user would
set up a special remote for exports, but `git annex export` to it would
later fail.
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'Remote/WebDAV.hs')
| -rw-r--r-- | Remote/WebDAV.hs | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Remote/WebDAV.hs b/Remote/WebDAV.hs index 4c9552a6f..4cc3c92e0 100644 --- a/Remote/WebDAV.hs +++ b/Remote/WebDAV.hs @@ -41,12 +41,13 @@ import Network.HTTP.Client (HttpExceptionContent(..), responseStatus) #endif remote :: RemoteType -remote = RemoteType { - typename = "webdav", - enumerate = const (findSpecialRemotes "webdav"), - generate = gen, - setup = webdavSetup -} +remote = RemoteType + { typename = "webdav" + , enumerate = const (findSpecialRemotes "webdav") + , generate = gen + , setup = webdavSetup + , exportSupported = exportUnsupported + } gen :: Git.Repo -> UUID -> RemoteConfig -> RemoteGitConfig -> Annex (Maybe Remote) gen r u c gc = new <$> remoteCost gc expensiveRemoteCost |