diff docker/libervia-web-dev/Dockerfile @ 3690:1680eec4cbfd

docker: use `@` instead of `tip` for dev images: `tip` links to most recent commit which may be on an other bookmark than the main one. By using `@`, we're sure that the main bookmark is used.
author Goffi <goffi@goffi.org>
date Wed, 20 Oct 2021 17:23:22 +0200
parents 0ffaa231138c
children 43cc8c27adc7
line wrap: on
line diff
--- a/docker/libervia-web-dev/Dockerfile	Wed Oct 20 17:21:54 2021 +0200
+++ b/docker/libervia-web-dev/Dockerfile	Wed Oct 20 17:23:22 2021 +0200
@@ -11,7 +11,7 @@
 RUN apt-get install -y --no-install-recommends yarnpkg
 WORKDIR /home/libervia
 USER libervia
-RUN cd /src && hg clone https://repos.goffi.org/libervia-web -u "${REVISION:-tip}" && \
+RUN cd /src && hg clone https://repos.goffi.org/libervia-web -u "${REVISION:-@}" && \
     ~/libervia_env/bin/pip install -e libervia-web && \
     mv libervia-web/libervia_web.egg-info ~/libervia_env/lib/python3.*/site-packages