Skip to content
This repository was archived by the owner on Oct 13, 2023. It is now read-only.

Commit 463634c

Browse files
thaJeztahkolyshkin
authored andcommitted
TAR-875 Fix man-pages showing "minimized" message
The dh_installman script calls "man" and captures its output to convert manpages to utf8: https://github.com/Debian/debhelper/blob/8523120dccaf5666425109da228b7e1778f15e8b/dh_installman#L298-L316 however, on minimized Ubuntu systems, man is overridden by a script that outputs a warning message ("This system has been minimized by removing packages and content .."). As a result, all man-pages were be overwritten by that message. This patch restores the actual `man` command before building to work around this issue. addresses docker/for-linux#639 Signed-off-by: Sebastiaan van Stijn <github@gone.nl> (cherry picked from commit e52fa49) Upstream-commit: 8007c3ea8df04d642addf9bb786ea47f27d28103 Component: packaging
1 parent 133699c commit 463634c

2 files changed

Lines changed: 12 additions & 0 deletions

File tree

components/packaging/deb/ubuntu-cosmic/Dockerfile

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,12 @@ FROM ${GO_IMAGE} as golang
44

55
FROM ${BUILD_IMAGE}
66

7+
# Remove diverted man binary to prevent man-pages being replaced with "minimized" message. See docker/for-linux#639
8+
RUN if [ "$(dpkg-divert --truename /usr/bin/man)" = "/usr/bin/man.REAL" ]; then \
9+
rm -f /usr/bin/man; \
10+
dpkg-divert --quiet --remove --rename /usr/bin/man; \
11+
fi
12+
713
RUN apt-get update && apt-get install -y curl devscripts equivs git
814

915
ARG GO_VERSION

components/packaging/deb/ubuntu-disco/Dockerfile

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,12 @@ FROM ${GO_IMAGE} as golang
44

55
FROM ${BUILD_IMAGE}
66

7+
# Remove diverted man binary to prevent man-pages being replaced with "minimized" message. See docker/for-linux#639
8+
RUN if [ "$(dpkg-divert --truename /usr/bin/man)" = "/usr/bin/man.REAL" ]; then \
9+
rm -f /usr/bin/man; \
10+
dpkg-divert --quiet --remove --rename /usr/bin/man; \
11+
fi
12+
713
RUN apt-get update && apt-get install -y curl devscripts equivs git
814

915
ARG GO_VERSION

0 commit comments

Comments
 (0)