Here is a small patch that appends a / to directories names in bash completion, it does not seems to add noticeable overhead, but I only tested it on my (rather fast) system. Signed-off-by: Julien Danjou <julien@danjou.info>