commit 955f83f174fb4554018d30604a0cb2d61577786d parent 646f42b6a9d47abbe6dad04afd576e274f74c40c Author: MS <ms@taler.net> Date: Thu, 17 Nov 2022 09:48:13 +0100 comment Diffstat:
| M | docker/demo/images/base/Dockerfile | | | 9 | ++++++--- |
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git 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