From 882172bccf7e89ae63f757bf30765dba1a961a4f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=2E=20Fernando=20S=C3=A1nchez?= Date: Wed, 8 Apr 2015 21:45:46 +0200 Subject: [PATCH] Dev tools in dockerfile, to avoid errors with pip --- DevDockerfile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/DevDockerfile b/DevDockerfile index 22c835b..a88e7ad 100644 --- a/DevDockerfile +++ b/DevDockerfile @@ -1,10 +1,14 @@ FROM ubuntu:14.04 RUN apt-get update -y +RUN apt-get install -y build-essential +RUN apt-get install -y cmake RUN apt-get install -y curl RUN apt-get install -y diffstat RUN apt-get install -y git +RUN apt-get install -y pkg-config RUN apt-get install -y python +RUN apt-get install -y python-dev RUN apt-get install -y python3 RUN apt-get install -y tmux RUN apt-get install -y vim @@ -35,8 +39,10 @@ RUN sh /home/dev/dotfiles/make.sh # Link in shared parts of the home directory RUN ln -s /var/shared/.ssh +RUN ln -s /var/shared/src RUN chsh dev -s /usr/bin/zsh RUN chown -R dev: /home/dev +RUN chown -R dev: /usr/local/ ENTRYPOINT ["/usr/bin/zsh", "-i"] USER dev