diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-03-05 13:50:15 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-03-05 13:50:15 -0400 |
commit | f3958ecd07765975e4ea3d500cdc9694ad595d5e (patch) | |
tree | feac52e85c2809dbb85de05496c87ecd767adcc8 /Logs | |
parent | c80bd8d1c3993312dd36888d81bd80b48584fb2d (diff) |
Added SETURIPRESENT and SETURIMISSING to external special remote protocol
Useful for things like ipfs that don't use regular urls.
An external special remote can add a regular url to a key, and then
git-annex get will download it from the web. But for ipfs, we want to
instead tell git-annex that the uri uses OtherDownloader. Before this
change, the external special remote protocol lacked a way to do that.
Diffstat (limited to 'Logs')
-rw-r--r-- | Logs/Web.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Logs/Web.hs b/Logs/Web.hs index 38993c33c..b2935f1a0 100644 --- a/Logs/Web.hs +++ b/Logs/Web.hs @@ -94,7 +94,7 @@ removeTempUrl key = Annex.changeState $ \s -> s { Annex.tempurls = M.delete key (Annex.tempurls s) } data Downloader = WebDownloader | QuviDownloader | OtherDownloader - deriving (Eq) + deriving (Eq, Show) {- To keep track of how an url is downloaded, it's mangled slightly in - the log. For quvi, "quvi:" is prefixed. For urls that are handled by |