diff options
author | 2017-09-07 13:45:31 -0400 | |
---|---|---|
committer | 2017-09-07 13:48:44 -0400 | |
commit | d910a94df7d6f5c87897c248586cb65523457f99 (patch) | |
tree | 692446ec624e63ac8fa4aec72f0b5ee8e5d13723 /Remote/Web.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/Web.hs')
-rw-r--r-- | Remote/Web.hs | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index 45e8d1c22..f3580ca99 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -23,12 +23,13 @@ import Annex.Quvi import qualified Utility.Quvi as Quvi remote :: RemoteType -remote = RemoteType { - typename = "web", - enumerate = list, - generate = gen, - setup = error "not supported" -} +remote = RemoteType + { typename = "web" + , enumerate = list + , generate = gen + , setup = error "not supported" + , exportSupported = exportUnsupported + } -- There is only one web remote, and it always exists. -- (If the web should cease to exist, remove this module and redistribute |