bash_completion: bug sur certains serveurs

2016-09-02 09:43:17 +04:00 · 2016-09-02 09:43:17 +04:00 · a08278896a
parent 9710cf7e70
commit a08278896a
1 changed files with 6 additions and 1 deletions
--- a/lib/ulib/bash41/bash_completion
+++ b/lib/ulib/bash41/bash_completion
@ -32,4 +32,9 @@ function __bash_completion_module_enabled() {
 if ! __bash_completion_enabled; then
    __NUTOOLS_BASH_COMPLETION=1
 fi
-[ -n "$BASH_COMPLETION" ] || BASH_COMPLETION=1
+if [ -z "$BASH_COMPLETION" ]; then
+    BASH_COMPLETION=1
+    # activer les options nécessaires pour la complétion, parce que ce n'est
+    # peut-être pas encore fait.
+    shopt -s extglob progcomp
+fi