Update Dockerfile

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