diff options
author | 2013-07-27 22:39:12 +0000 | |
---|---|---|
committer | 2013-07-27 22:39:12 +0000 | |
commit | 716daad87c03c4d67d27817c03855b7b2820de5a (patch) | |
tree | 42fe7848d6b72077ac464e6ec95dc7d53f8a4b3a | |
parent | c4a34cd8b914edee4abb1d746fb5491f46bef085 (diff) |
Added a comment
-rw-r--r-- | doc/bugs/failure_to_find_file_that___34__should__34___exist_in_remote_is_silent/comment_3_74fc0e41a6bd5c4d8c4b2f15e5ed8d2f._comment | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/bugs/failure_to_find_file_that___34__should__34___exist_in_remote_is_silent/comment_3_74fc0e41a6bd5c4d8c4b2f15e5ed8d2f._comment b/doc/bugs/failure_to_find_file_that___34__should__34___exist_in_remote_is_silent/comment_3_74fc0e41a6bd5c4d8c4b2f15e5ed8d2f._comment new file mode 100644 index 000000000..5abbe99c3 --- /dev/null +++ b/doc/bugs/failure_to_find_file_that___34__should__34___exist_in_remote_is_silent/comment_3_74fc0e41a6bd5c4d8c4b2f15e5ed8d2f._comment @@ -0,0 +1,17 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="4.152.246.110" + subject="comment 3" + date="2013-07-27T22:39:12Z" + content=""" +The --from is the missing piece to reproduce: + +[[!format sh \"\"\" +joey@gnu:~/tmp/old/mydir2>git annex get disk2 --from origin +joey@gnu:~/tmp/old/mydir2> +\"\"\"]] + +What's going on here is that `get --from` is essentially an alias to `copy --from`, and that skips copying files that it knows are not present on the remote. Since the remote is a local directory, it's inexpensive for it to check if the file is really there, rather than relying on the location log. + +This seems suboptimal, but I'm not sure which part of the behavior it makes sense to change. It seems nice for `copy --from` to silently skip files that the remote does not have, to avoid much unnecessary output when processing a lot of files. Maybe `get --from` should behave differently? +"""]] |