diff options
Diffstat (limited to 'bash')
-rw-r--r-- | bash/bash_completion.d/man.bash | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bash/bash_completion.d/man.bash b/bash/bash_completion.d/man.bash index f8616029..50ab852e 100644 --- a/bash/bash_completion.d/man.bash +++ b/bash/bash_completion.d/man.bash @@ -1,3 +1,8 @@ +# Load _completion_ignore_case helper function +if ! declare -F _completion_ignore_case >/dev/null ; then + source "$HOME"/.bash_completion.d/_completion_ignore_case.bash +fi + # Autocompletion for man(1) _man() { |