From 04717850a5dab550d1598e44c9de3a67cf8b5a3f Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 10 Jul 2017 20:07:31 +0400
Subject: [PATCH] support de stretch pour la completion

---
 lib/bashrc.d/bash_completion.shared | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/bashrc.d/bash_completion.shared b/lib/bashrc.d/bash_completion.shared
index b9e9cc8..caeaea0 100644
--- a/lib/bashrc.d/bash_completion.shared
+++ b/lib/bashrc.d/bash_completion.shared
@@ -11,7 +11,7 @@ if [ -n "$UTOOLS_BASH_COMPLETION" ]; then
             # exactement, avec bash 4.0)
             _file="@@dest@@/lib/ulib/bash40/bash_completion"
             ;;
-        7*|wheezy*|8*|jessie*)
+        7*|wheezy*|8*|jessie*|9*|stretch*)
             # le code suivant n'est compatible qu'avec debian wheezy et
             # supérieur (plus exactement, avec bash 4.1)
             _file="@@dest@@/lib/ulib/bash41/bash_completion"