From 6bbfa69e364cefa3ff11ddd5646bfefe6b485071 Mon Sep 17 00:00:00 2001 From: Don Armstrong Date: Mon, 19 Mar 2018 15:24:25 -0700 Subject: [PATCH] work around slim image not providing /usr/share/man Work around debian slim image not providing /usr/share/man, and postgresql's postinst failing because those directories do not exist. --- .travis/Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.travis/Dockerfile b/.travis/Dockerfile index 36c94d5..c5fbffa 100644 --- a/.travis/Dockerfile +++ b/.travis/Dockerfile @@ -16,6 +16,8 @@ RUN echo '\nPackage: *\nPin: release a=unstable\nPin-Priority: 1\n\n'\ >> /etc/apt/preferences RUN echo '\nPackage: *\nPin: release a=stretch-backports\nPin-Priority: 500\n\n'\ >> /etc/apt/preferences +# work around slim image interacting with missing documentation +RUN for a in $(seq 1 7); do mkdir -p /usr/share/man/man$a; done; RUN apt-get -qq update && \ mk-build-deps --install \ --tool 'apt-get -y -o Debug:pkgProblemResolver=yes --no-install-recommends' \ -- 2.39.2