Skip to content
Snippets Groups Projects
Commit 3acba5f1 authored by nimrod's avatar nimrod
Browse files

Workaround a package installation issue.

parent 35a1ef16
No related branches found
No related tags found
No related merge requests found
Pipeline #892 failed
......@@ -24,6 +24,10 @@ COPY --from=repo-key /gnupghome/inverse.gpg /usr/share/keyrings/
COPY inverse.sources /etc/apt/sources.list.d/
# hadolint ignore=DL3008
RUN apt-get update && \
# FIXME: There's an issue with the sogo package configure script, this is a
# hackish workaround. The error is: chmod: cannot access
# '/usr/share/doc/sogo/*.sh': No such file or directory
mkdir -p /usr/share/doc/sogo/ && touch /usr/share/doc/sogo/foo.sh && \
DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends \
sogo-activesync \
sogo \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment