view docker/libervia-web-dev/Dockerfile @ 4202:b26339343076

core: use a user specific directory for PID file: default location of pid file is now specific to logged user, this allow to run several instances of Libervia by different users on the same machine without PID conflicts.
author Goffi <goffi@goffi.org>
date Sun, 14 Jan 2024 17:48:02 +0100
parents 43cc8c27adc7
children
line wrap: on
line source

ARG REVISION
FROM libervia/backend:${REVISION:-dev}

LABEL maintainer="Goffi <tmp_dockerfiles@goffi.org>"

ARG REVISION
ARG DEBIAN_FRONTEND=noninteractive

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:-@}" && \
    ~/libervia_env/bin/pip install -e libervia-web

RUN ./entrypoint.sh \
    # we build here to avoid re-downloading node modules or other browser
    # dependencies on each run
    libervia-web fg -- --build-only && \
    libervia-backend stop

EXPOSE 8080 8443

ENTRYPOINT ["libervia-web"]
CMD ["fg"]