followup
This commit is contained in:
parent
27d5ed2fb8
commit
ca66e7b66a
1 changed files with 22 additions and 0 deletions
|
@ -0,0 +1,22 @@
|
||||||
|
[[!comment format=mdwn
|
||||||
|
username="joey"
|
||||||
|
subject="""comment 3"""
|
||||||
|
date="2018-10-04T19:41:50Z"
|
||||||
|
content="""
|
||||||
|
Well, it could be a rmurl bug.
|
||||||
|
|
||||||
|
whenM (null <$> getUrls key) $
|
||||||
|
logChange key uuid InfoMissing
|
||||||
|
|
||||||
|
I think that might behave wrongly if an uri
|
||||||
|
has been registered by a special remote, since the
|
||||||
|
list of urls would then not be empty. So it ought to filter out uris
|
||||||
|
that have an OtherDownloader.
|
||||||
|
|
||||||
|
And hmm, SETURLPRESENT adds an url to the list, doesn't mark it as present
|
||||||
|
in the web, but if you then did a `git annex addurl` to add an url to the web,
|
||||||
|
there would be two urls listed, so `git annex rmurl` of the url addurl added would
|
||||||
|
leave it marked present in the web because of the other url. Given the data
|
||||||
|
that's stored, that can't be handled any better. Fixing this would need to
|
||||||
|
add the uuid of the remote next to the url in the log file.
|
||||||
|
"""]]
|
Loading…
Add table
Add a link
Reference in a new issue