aboutsummaryrefslogtreecommitdiff
path: root/Dockerfile
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2019-02-19 06:40:07 +0000
committerRob Austein <sra@hactrn.net>2019-02-19 06:40:07 +0000
commitb4cfe16406aa784358ffa67c95097bec7c31c217 (patch)
tree805cf511db53c5bbe7d2db4da1fa8a4382f937c3 /Dockerfile
parent70d2b721caaf65f77270f82a5491316786e23aba (diff)
Dockerfile needs to clean up after Builder, apparently.
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile10
1 files changed, 9 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index 75769cf..284d3f8 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,6 +1,10 @@
FROM cryptech-builder:base
-RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list
+# Should conditionalize the "jessie-backports" stuff on --build-env=DEBIAN_RELEASE
+# from Makefile. Later.
+
+RUN echo 'deb http://deb.debian.org/debian jessie-backports main' \
+ > /etc/apt/sources.list.d/backports.list
# Stuff we need we need to build firmware and client packages. This
# stuff is much more likely to change than the XiLinx tools, so we put
@@ -22,3 +26,7 @@ RUN apt-get update && \
pbuilder && \
apt-get -t jessie-backports install -y \
debootstrap distro-info-data
+
+USER builder
+WORKDIR /home/builder
+CMD /bin/bash