1
0
mirror of https://github.com/balkian/gists.git synced 2024-11-24 02:12:29 +00:00
gists/repos/00908058842bdbc0ea2c/DevDockerfile
J. Fernando Sánchez bef5400be9 Add 'repos/00908058842bdbc0ea2c/' from commit '98a3e203af3c2be0e0263cf7e1b273e0a1a9d8b4'
git-subtree-dir: repos/00908058842bdbc0ea2c
git-subtree-mainline: ee65bc25e6
git-subtree-split: 98a3e203af
2021-10-30 15:13:20 +02:00

42 lines
1.0 KiB
Plaintext

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