[taler-deployment] branch master updated (8739d71 -> 955f83f)

[gnunet]

This is an automated email from the git hooks/post-receive script.

ms pushed a change to branch master
in repository deployment.

    from 8739d71  No dummy file to conditionally copy from host.
     new 646f42b  comment
     new 955f83f  comment

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 docker/demo/images/base/Dockerfile | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/docker/demo/images/base/Dockerfile 
b/docker/demo/images/base/Dockerfile
index 222f9ba..91cc9c0 100644
--- a/docker/demo/images/base/Dockerfile
+++ b/docker/demo/images/base/Dockerfile
@@ -11,11 +11,14 @@ RUN apt-get install -y autoconf autopoint libtool texinfo \
 RUN pip3 install requests click poetry uwsgi htmlark
 
 ARG tags_file
-# The following command works around COPY not being conditional.
-# 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.
+# 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.
+# 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
 

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.