balkian/gists
1
0
Fork 0
mirror of https://github.com/balkian/gists.git synced 2024-11-27 03:32:29 +00:00
Code Issues Projects Releases Wiki Activity

Add 'repos/00908058842bdbc0ea2c/' from commit '98a3e203af3c2be0e0263cf7e1b273e0a1a9d8b4'

Browse Source 
git-subtree-dir: repos/00908058842bdbc0ea2c
git-subtree-mainline: ee65bc25e6
git-subtree-split: 98a3e203af
This commit is contained in:
J. Fernando Sánchez 2021-10-30 15:13:20 +02:00
commit bef5400be9
1 changed files with 42 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
repos/00908058842bdbc0ea2c/DevDockerfile Normal file
View File

@ -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