From 01e3253950ab2a5d5e03459a7de21e61d576098d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89lo=C3=AFs?= <elois@ifee.fr>
Date: Tue, 6 Aug 2019 20:09:31 +0000
Subject: [PATCH] Update Dockerfile

---
 Dockerfile | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index de43415..52db811 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -15,12 +15,19 @@ RUN apt-get update && \
 
 # Create a user
 RUN useradd -ms /bin/bash user
-USER user
 WORKDIR /home/user
+ENV HOME /home/user
+ENV USER user
 
-# Add useful aliases
+
+# Add external scripts
 ADD . /home/user
 RUN chmod +x add_useful_aliases.sh
+
+# Now act as `user`
+USER user
+
+# Add useful aliases
 RUN ./add_useful_aliases.sh
 
 # Install coverage tool
-- 
GitLab