diff options
author | Mart Lubbers | 2018-01-23 14:17:19 +0100 |
---|---|---|
committer | Camil Staps | 2018-01-23 14:34:55 +0100 |
commit | aaee9e0244f953e8076037c32ed31207dd378f5d (patch) | |
tree | 59de29148cb449b85b808c3a5b0b8032d92471b8 /Dockerfile | |
parent | Update 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-- | Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 \ |