diff options
| author | Kevin J Hoerr <kjhoerr@protonmail.com> | 2021-09-20 20:35:13 +0000 |
|---|---|---|
| committer | Kevin J Hoerr <kjhoerr@protonmail.com> | 2021-09-20 20:35:13 +0000 |
| commit | d339ce2b919477411a0339cfc6004f0e66eaee55 (patch) | |
| tree | 00f34fe903982f8c70d5f5df1b8bd3f434034fe3 /.devcontainer/Dockerfile | |
| parent | f830bab4ec14f3fe814962a6a2dee180149c3a6a (diff) | |
| download | ao-coverage-d339ce2b919477411a0339cfc6004f0e66eaee55.tar.gz ao-coverage-d339ce2b919477411a0339cfc6004f0e66eaee55.tar.bz2 ao-coverage-d339ce2b919477411a0339cfc6004f0e66eaee55.zip | |
ARGify HOST_DIR for devcontainer
Diffstat (limited to '.devcontainer/Dockerfile')
| -rw-r--r-- | .devcontainer/Dockerfile | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 4765d2d..eae9427 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -21,7 +21,9 @@ ARG USER_UID=1000 ARG USER_GID=$USER_UID RUN if [ "$USER_GID" != "1000" ] || [ "$USER_UID" != "1000" ]; then groupmod --gid $USER_GID node && usermod --uid $USER_UID --gid $USER_GID node; fi -# create /dist and assign it to a volume -RUN mkdir -p /dist -RUN chown $USER_UID:$USER_GID /dist -VOLUME [ "/dist" ] +# create host directory for reports and assign it to a volume +ARG HOST_DIR=/dist +RUN mkdir -p $HOST_DIR +RUN chown $USER_UID:$USER_GID $HOST_DIR +VOLUME [ "${HOST_DIR}" ] +ENV HOST_DIR=${HOST_DIR} |