From a08278896a9b244d96ffd70b8a302214c6192eb7 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Fri, 2 Sep 2016 09:43:17 +0400
Subject: [PATCH] bash_completion: bug sur certains serveurs

---
 lib/ulib/bash41/bash_completion | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/lib/ulib/bash41/bash_completion b/lib/ulib/bash41/bash_completion
index a21de3f..8bd2f58 100644
--- 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