Fix linting issues

This commit is contained in:
Markus Opolka
2023-06-09 13:18:56 +02:00
parent 52ee67675a
commit 66f433e1d0
9 changed files with 22 additions and 13 deletions

View File

@@ -12,6 +12,7 @@ RUN set -ex; \
rm -rf /var/lib/apt/lists/*
# Install PHP Plugins and Configure PHP imap plugin
# hadolint ignore=SC2086
RUN set -ex; \
\
savedAptMark="$(apt-mark showmanual)"; \
@@ -51,7 +52,7 @@ RUN set -ex; \
zip \
; \
\
# reset apt-mark's "manual" list so that "purge --auto-remove" will remove all build dependencies
# Reset apt-mark's "manual" list so that "purge --auto-remove" will remove all build dependencies
apt-mark auto '.*' > /dev/null; \
apt-mark manual $savedAptMark; \
ldd "$(php -r 'echo ini_get("extension_dir");')"/*.so \