···11+22+33+- Improve bash completion on files and directories (#238).
44+ Thanks to Brian Ward for the report and fix.
55+16v2.0.0 2025-09-26 Zagreb
27------------------------
38
+2
vendor/opam/cmdliner/src/tool/bash-completion.sh
···1515 read group
1616 elif [[ $type == "dirs" ]] && (type compopt &> /dev/null); then
1717 if [[ $prefix != -* ]]; then
1818+ compopt -o filenames
1819 COMPREPLY+=( $(compgen -d "$prefix") )
1920 fi
2021 elif [[ $type == "files" ]] && (type compopt &> /dev/null); then
2122 if [[ $prefix != -* ]]; then
2323+ compopt -o filenames
2224 COMPREPLY+=( $(compgen -f "$prefix") )
2325 fi
2426 elif [[ $type == "message" ]]; then
+2
vendor/opam/cmdliner/src/tool/cmdliner_data.ml
···1616 read group
1717 elif [[ $type == "dirs" ]] && (type compopt &> /dev/null); then
1818 if [[ $prefix != -* ]]; then
1919+ compopt -o filenames
1920 COMPREPLY+=( $(compgen -d "$prefix") )
2021 fi
2122 elif [[ $type == "files" ]] && (type compopt &> /dev/null); then
2223 if [[ $prefix != -* ]]; then
2424+ compopt -o filenames
2325 COMPREPLY+=( $(compgen -f "$prefix") )
2426 fi
2527 elif [[ $type == "message" ]]; then