diff --git a/Dockerfile b/Dockerfile index 5167576c797a69c338a55e6a8c1de7ac264ad578..65920f3c4410c8b09cd5006a89aa8ed2fdad0aac 100644 --- a/Dockerfile +++ b/Dockerfile @@ -28,10 +28,14 @@ RUN apt-get install -y --no-install-recommends \ nano \ libgit2-dev \ manpages \ - man-db \ + #man-db \ #python3.6 \ #libpng-dev \ less + +RUN yes | unminimize && \ + apt-get install -y man-db && \ + rm -r /var/lib/apt/lists/* USER ${NB_USER}