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.
This commit is contained in:
parent
60f3f89883
commit
0ba1709bb5
1 changed files with 3 additions and 3 deletions
|
|
@ -11,7 +11,7 @@ USER root
|
|||
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
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue