|
|
|
|
@ -79,9 +79,9 @@ RUN set -ex; \
|
|
|
|
|
apt-mark auto '.*' > /dev/null; \
|
|
|
|
|
apt-mark manual $savedAptMark; \
|
|
|
|
|
ldd "$(php -r 'echo ini_get("extension_dir");')"/*.so \
|
|
|
|
|
| awk '/=>/ { print $3 }' \
|
|
|
|
|
| awk '/=>/ { so = $(NF-1); if (index(so, "/usr/local/") == 1) { next }; gsub("^/(usr/)?", "", so); print so }' \
|
|
|
|
|
| sort -u \
|
|
|
|
|
| xargs -r dpkg-query -S \
|
|
|
|
|
| xargs -r dpkg-query --search \
|
|
|
|
|
| cut -d: -f1 \
|
|
|
|
|
| sort -u \
|
|
|
|
|
| xargs -rt apt-mark manual; \
|
|
|
|
|
|