#618646 bash-completion: When manfile has the same name of directory, duplicate completion suggested #618646
- Package:
- bash-completion
- Source:
- bash-completion
- Submitter:
- Salvo Tomaselli
- Date:
- 2025-01-12 07:27:03 UTC
- Severity:
- normal
- Tags:
To reproduce, follow the steps mkdir /tmp/pppp/grep cd /tmp/pppp man grep<TAB> it will display grep/ grep/ Which is wrong, since one of them is a directory and the other one isn't. Bye