aboutsummaryrefslogtreecommitdiff
path: root/Dockerfile
diff options
context:
space:
mode:
authorMart Lubbers2018-01-23 14:17:19 +0100
committerCamil Staps2018-01-23 14:34:55 +0100
commitaaee9e0244f953e8076037c32ed31207dd378f5d (patch)
tree59de29148cb449b85b808c3a5b0b8032d92471b8 /Dockerfile
parentUpdate for debian stretch (diff)
Add a local lib directory
This allows people to mount their local directory to /opt/clean/lib/Local and import the files from it. This can be extended to allow more mounting in /opt/clean/lib and let the clm command import all directories from there but not with this commit.
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile
index 7a48307..62e4d1f 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,6 +11,7 @@ RUN ./make_abc.sh \
&& apt-get update -qq \
&& apt-get install -qq $PACKAGES --no-install-recommends \
&& make -B \
+ && mkdir -p /opt/clean/lib/Local \
&& rm -rf \
Clean\ System\ Files \
CleanReadLine \