diff options
author | Oliver Smith <osmith@sysmocom.de> | 2022-09-27 13:46:10 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2022-10-06 09:45:02 +0200 |
commit | 6298cbbe0f22ce9e2ea1e797ad931b1d4c2e8381 (patch) | |
tree | 458874686472b01d784a7cf2301d11ba447fdef1 /scripts | |
parent | 449dae8c13aa6ae6b76ca34fe577d5a73b6ec98a (diff) |
obs: build_binpkg: debian: don't install manpages
Configure dpkg to not extract man pages. Otherwise it will spend some
time regenerating the man page index whenever installing build
dependencies before starting to build a package.
Related: OS#2385
Change-Id: I1c9e3883b976e023c96dfd59eb147770f7ad99a7
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/obs/data/build_binpkg.Dockerfile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/obs/data/build_binpkg.Dockerfile b/scripts/obs/data/build_binpkg.Dockerfile index feacbc9..de53478 100644 --- a/scripts/obs/data/build_binpkg.Dockerfile +++ b/scripts/obs/data/build_binpkg.Dockerfile @@ -12,8 +12,13 @@ RUN useradd --uid=${UID} -m user # build recipe. For rpm-based distributions, there is no build-essential or # similar package. Instead add relevant packages from prjconf, e.g.: # https://build.opensuse.org/projects/CentOS:CentOS-8/prjconf +# For debian, make sure we don't have man pages as otherwise it takes some time +# to regenerate the manuals database when installing build dependencies. RUN case "$DISTRO" in \ debian*) \ + echo "path-exclude=/usr/share/man/*" \ + > /etc/dpkg/dpkg.cfg.d/exclude-man-pages && \ + rm -rf /usr/share/man/ && \ apt-get update && \ apt-get install -y --no-install-recommends \ build-essential \ |