From eca4f2fd6b33fb72d5129cbb8e3735667970ac3e Mon Sep 17 00:00:00 2001 From: Robert Sachunsky <38561704+bertsky@users.noreply.github.com> Date: Tue, 20 Jun 2023 23:35:11 +0200 Subject: [PATCH] docker: make XDG_CONFIG_HOME subdir of XDG_DATA_HOME --- Dockerfile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Dockerfile b/Dockerfile index f5941170..ddc2b081 100644 --- a/Dockerfile +++ b/Dockerfile @@ -36,6 +36,9 @@ ENV VIRTUAL_ENV $PREFIX # so let XDG_DATA_HOME coincide with fixed system location # (can still be overridden by derived stages) ENV XDG_DATA_HOME /usr/local/share +# avoid the need for an extra volume for persistent resource user db +# (i.e. XDG_CONFIG_HOME/ocrd/resources.yml) +ENV XDG_CONFIG_HOME /usr/local/share/ocrd-resources # declaring volumes prevents derived stages # from placing data there (cannot be undeclared), # preventing the use-case of images bundled with models; @@ -125,6 +128,9 @@ RUN sed -i '/width\|height/s/value="16KP"/value="64KP"/' /etc/ImageMagick-6/poli ENV DEBIAN_FRONTEND teletype WORKDIR /data +# make writable for any user that logs in +RUN chmod 777 /data +# will usually be mounted over VOLUME /data # no fixed entrypoint