Hi,I believe I found a bug in grep. I have version 2.5.1. Here is the problem: normally, if you specify opposite options together (like -l and -L) or repeat options with arguments (like --label), the last one is the effective one. This is not the case with the -h and -H options for grep. If -H is given, the file name is displayed even if a -h is given after it. This is contrary to the generally expected behavior described above. Can you please confirm if this is a bug?
Thanks, Jacob
