diff --git a/doc/bugs/should_error_on_whereis_--batch-keys_--all/comment_1_724ae0427fb306352ff9b26d9fdef27a._comment b/doc/bugs/should_error_on_whereis_--batch-keys_--all/comment_1_724ae0427fb306352ff9b26d9fdef27a._comment new file mode 100644 index 0000000000..0a5878b4fa --- /dev/null +++ b/doc/bugs/should_error_on_whereis_--batch-keys_--all/comment_1_724ae0427fb306352ff9b26d9fdef27a._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2022-01-26T15:58:12Z" + content=""" +More generally, --all and --key are ignored when using --batch or +--batch-keys, by probably all commands that implement them. + +Mixing --batch options with file names also ignores the file names. +"""]]