#618646 bash-completion: When manfile has the same name of directory, duplicate completion suggested

#618646#5
Date:
2011-03-17 08:03:35 UTC
From:
To:
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

#618646#12
Date:
2025-01-12 07:14:55 UTC
From:
To: