From 921caa1accd813799f53480789489be4b3dd8a01 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Wed, 2 Oct 2019 22:20:48 +0400
Subject: [PATCH] =?UTF-8?q?dk:=20le=20shell=20est=20lanc=C3=A9=20en=20root?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 dk | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/dk b/dk
index d39a03c..e50fc1c 100755
--- a/dk
+++ b/dk
@@ -149,7 +149,8 @@ COMMANDES
         lancer la commande avec l'utilisateur courant.
         La commande shell est une extension qui lance un shell bash au lieu de
         lancer la commande composer, ce qui permet de faire des opérations plus
-        complexes si le besoin s'en fait sentir.
+        complexes si le besoin s'en fait sentir. NB: le shell est lancé avec
+        l'utilisateur root.
 
 OPTIONS générales
     (ces options sont communes à toutes les commandes)
@@ -1220,7 +1221,11 @@ function auto_composer() {
     setx projdir=pwd
 
     case "$1" in
-    shell|bash)
+    rootshell|shell|rootbash|bash)
+        shift
+        actualcmd='eval "bash $args"'
+        ;;
+    usershell|ushell|userbash|ubash)
         shift
         actualcmd='eval "su-exec \"$user\" bash $args"'
         ;;