diff options
author | Rasmus Andersson <rasmus@notion.se> | 2019-01-06 03:20:22 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2019-01-06 03:20:22 +0300 |
commit | 4ded41f4a37133a7e73156619cfb0fd8de767143 (patch) | |
tree | f3a1fe221ac925db7513108be81705c5661aca0a /misc/docker/Dockerfile | |
parent | c6c99df95877077207f1f78f572734490d56f404 (diff) | |
download | inter-4ded41f4a37133a7e73156619cfb0fd8de767143.tar.xz |
Adds docker toolchain for a simpler build setup
Diffstat (limited to 'misc/docker/Dockerfile')
-rw-r--r-- | misc/docker/Dockerfile | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/misc/docker/Dockerfile b/misc/docker/Dockerfile new file mode 100644 index 000000000..34ffed119 --- /dev/null +++ b/misc/docker/Dockerfile @@ -0,0 +1,37 @@ +FROM python:3.7-stretch + +RUN apt-get -qq update \ + && apt-get install -y -qq --no-install-recommends \ + git curl unzip build-essential ca-certificates ttfautohint \ + && pip install virtualenv + +RUN mkdir /inter +WORKDIR /inter + +COPY . /inter/ +RUN rm Dockerfile + +RUN ln -s /host/src src \ + && ln -s /host/version.txt . \ + && ln -s /host/githash.txt . \ + && ln -s /host/Makefile . \ + && ./init.sh \ + && rm -rf build/fonts \ + && mkdir -p /host/build/fonts \ + && ln -s /host/build/fonts build/fonts + +RUN rm init.sh && ln -s /host/init.sh . \ + && echo "source /inter/init.sh" >> "$HOME/.bashrc" \ + && echo "alias l='ls -lAF'" >> "$HOME/.bashrc" \ + && echo 'export PS1="\[\e[33;1m\]\u@\w\[\e[0m\]\\\$ "' >> "$HOME/.bashrc" + +# cleanup +RUN apt-get -y autoremove \ + && apt-get clean \ + && rm -rf /var/lib/apt/lists/* + +ENV PATH=/inter/build/venv/bin:$PATH + +VOLUME /host + +CMD "/bin/bash" |