From 4e1bcd1808a24b532aa27bf2a119f6f8155af534 Mon Sep 17 00:00:00 2001
From: Yohann D'ANELLO <yohann.danello@gmail.com>
Date: Wed, 2 Sep 2020 22:51:59 +0200
Subject: [PATCH] Send user id and group id in Docker bash

---
 shell/docker_bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shell/docker_bash b/shell/docker_bash
index 56f61be..56c93db 100755
--- a/shell/docker_bash
+++ b/shell/docker_bash
@@ -3,7 +3,7 @@
 if [ -r Dockerfile ]; then
     if [ -w /var/run/docker.sock ]; then
         docker build -t nk20 .
-        docker run -it --rm -v "$(pwd):/var/www/note_kfet/" -p 80:8080 nk20 bash
+        docker run -it -u $(id -u):$(id -g) --rm -v "$(pwd):/var/www/note_kfet/" -p 80:8080 nk20 bash
     else
         echo "Merci de rejoindre le groupe docker (ou lancez ce script en sudo) afin de pouvoir vous connecter au socket Docker."
     fi