diff --git a/appendix b/appendix index 39653af..d3224d4 100644 --- a/appendix +++ b/appendix @@ -16,16 +16,6 @@ RUN package_list=$(grep -v '^\s*#' ${REPO_DIR}/apt-extras.txt | grep -v '^\s*$' apt-get clean && \ rm -rf /var/lib/apt/lists/* -# Re-enable man pages disabled in Ubuntu 18 minimal image -# https://wiki.ubuntu.com/Minimal -RUN yes | unminimize -# NOTE: $NB_PYTHON_PREFIX is the same as $CONDA_PREFIX at run-time. -# $CONDA_PREFIX isn't available in this context. -# NOTE: Prepending ensures a working path; if $MANPATH was previously empty, -# the trailing colon ensures that system paths are searched. -ENV MANPATH="${NB_PYTHON_PREFIX}/share/man:${MANPATH}" -RUN mandb - # Copy Desktop files into ${REPO_DIR}/Desktop if they exist ONBUILD RUN mkdir -p ${REPO_DIR}/Desktop && \ if [ -d Desktop ]; then cp Desktop/* ${REPO_DIR}/Desktop/; fi