Merge pull request #1091 from xzzy/master2

Fix Docker Dev

dockerdev/Dockerfile

@@ -4,26 +4,26 @@ USER root
 
 RUN apt-get update
 # RUN apt-get --no-install-recommends -y install nginx
-RUN apt-get install --no-install-recommends -y virtualenv
-RUN apt-get install --no-install-recommends -y graphviz
-RUN apt-get install --no-install-recommends -y python3-pydot
+# RUN apt-get install --no-install-recommends -y virtualenv
+# RUN apt-get install -y graphviz
+# RUN apt-get install -y python3-pydot
 
 RUN echo 'if ! [ -n "${SUDO_USER}" -a -n "${SUDO_PS1}" ]; then' >> /etc/bash.bashrc
 RUN echo "export PS1='\[\e[0;31mdev:\e[0;32m \u@\h:~ \e[0;34m\W\$\e\[\e[0m\] '" >> /etc/bash.bashrc
 RUN echo "fi" >> /etc/bash.bashrc
 
 # For windows
-RUN groupadd -g 1000 docker
-RUN useradd -g 1000 -u 1000 docker -s /bin/bash
-RUN mkdir /home/docker
+#RUN groupadd -g 1000 docker
+#RUN useradd -g 1000 -u 1000 docker -s /bin/bash
+#RUN mkdir /home/docker
 
 # For Linux
 RUN groupadd -g 20000 container
 RUN useradd -g 20000 -u 200000 container -s /bin/bash
 RUN mkdir /home/container
-RUN chown container.container /home/docker
+RUN chown container.container /home/container
 
-RUN cp /root/.bashrc /home/docker
+# RUN cp /root/.bashrc /home/docker
 RUN cp /root/.profile /home/docker
 
 EXPOSE 80