diff --git a/repos/00908058842bdbc0ea2c/DevDockerfile b/repos/00908058842bdbc0ea2c/DevDockerfile new file mode 100644 index 0000000..672b5de --- /dev/null +++ b/repos/00908058842bdbc0ea2c/DevDockerfile @@ -0,0 +1,42 @@ +FROM ubuntu:14.04 + +RUN apt-get update -y +RUN apt-get install -y curl +RUN apt-get install -y diffstat +RUN apt-get install -y git +RUN apt-get install -y python +RUN apt-get install -y python3 +RUN apt-get install -y tmux +RUN apt-get install -y vim +RUN apt-get install -y zsh + +RUN curl -SL 'https://bootstrap.pypa.io/get-pip.py' | python2 +RUN pip install virtualenv +RUN pip install virtualenvwrapper + +# Setup home environment +RUN useradd dev +RUN mkdir /home/dev && chown -R dev: /home/dev +ENV PATH /home/dev/bin:$PATH + +# Create a shared data volume +# We need to create an empty file, otherwise the volume will +# belong to root. +# This is probably a Docker bug. +RUN mkdir /var/shared/ +RUN touch /var/shared/placeholder +RUN chown -R dev:dev /var/shared +VOLUME /var/shared + +WORKDIR /home/dev +ENV HOME /home/dev +ADD . /home/dev/dotfiles +RUN sh /home/dev/dotfiles/make.sh + +# Link in shared parts of the home directory +RUN ln -s /var/shared/.ssh +RUN chsh dev -s /usr/bin/zsh + +RUN chown -R dev: /home/dev +ENTRYPOINT ["/usr/bin/zsh", "-i"] +USER dev \ No newline at end of file