mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Added a comment: Re: Usefulness of batch key processing

Browse source
This commit is contained in:
https://christian.amsuess.com/chrysn 2020-05-15 09:33:22 +00:00 • committed by admin
parent 340287ef94
commit 112d2f8e7b
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
doc/todo/git-annex-get_--batch_--key/comment_3_e3de9b4893881624d530fcdef5cd7d65._comment Normal file
View file

@ -0,0 +1,9 @@
[[!comment format=mdwn
username="https://christian.amsuess.com/chrysn"
nickname="chrysn"
avatar="http://christian.amsuess.com/avatar/c6c0d57d63ac88f3541522c4b21198c3c7169a665a2f2d733b4f78670322ffdc"
subject="Re: Usefulness of batch key processing"
date="2020-05-15T09:33:22Z"
content="""
Concerning the filtering, I'd find a note that \"--batch-keys is mutually exclusive with filtering\" perfectly acceptable if that makes implementation easier. (Or \"only with the filtering options that apply to keys\" -- as I found that `git annex whereis --in web --key=...` does work well with the key input).
"""]]