comment

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 (file)
index 0000000..0a5878b
--- /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.
+"""]]