diff options
author | MS <ms@taler.net> | 2022-11-17 09:48:13 +0100 |
---|---|---|
committer | MS <ms@taler.net> | 2022-11-17 09:48:13 +0100 |
commit | 955f83f174fb4554018d30604a0cb2d61577786d (patch) | |
tree | 0b019be8a9520b6b401c363b61c6c9fc68cb6815 /docker | |
parent | 646f42b6a9d47abbe6dad04afd576e274f74c40c (diff) | |
download | deployment-955f83f174fb4554018d30604a0cb2d61577786d.tar.gz deployment-955f83f174fb4554018d30604a0cb2d61577786d.tar.bz2 deployment-955f83f174fb4554018d30604a0cb2d61577786d.zip |
comment
Diffstat (limited to 'docker')
-rw-r--r-- | docker/demo/images/base/Dockerfile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/docker/demo/images/base/Dockerfile b/docker/demo/images/base/Dockerfile index 6377883..91cc9c0 100644 --- a/docker/demo/images/base/Dockerfile +++ b/docker/demo/images/base/Dockerfile @@ -13,9 +13,12 @@ RUN pip3 install requests click poetry uwsgi htmlark ARG tags_file # The following command provides a conditional copy from # the host filesystem. It mounts the current directory - -# where the tags file might be - to /context in the container. -# Note: build_base.sh 'cd' to the tags file's directory before -# building, and sets $tags_file to the tags file's basename. +# where the tags file MIGHT be - to /context in the container. +# It appears NOT possible to mount arbitrary paths from the +# host with "RUN --mount". Hence, when a tags file is given, +# the CWD has to be the one containing the tags file. build_base.sh +# sets (1) the CWD this way and (2) $tags_file to be the tags file +# basename, before starting the compilation. RUN --mount=target=/context if test -n "$tags_file"; then cp \ /context/${tags_file} /tags.sh; else touch /tags.sh; fi |