File tree 1 file changed +0
-10
lines changed
1 file changed +0
-10
lines changed Original file line number Diff line number Diff line change @@ -16,16 +16,6 @@ RUN package_list=$(grep -v '^\s*#' ${REPO_DIR}/apt-extras.txt | grep -v '^\s*$'
16
16
apt-get clean && \
17
17
rm -rf /var/lib/apt/lists/*
18
18
19
- # Re-enable man pages disabled in Ubuntu 18 minimal image
20
- # https://wiki.ubuntu.com/Minimal
21
- RUN yes | unminimize
22
- # NOTE: $NB_PYTHON_PREFIX is the same as $CONDA_PREFIX at run-time.
23
- # $CONDA_PREFIX isn't available in this context.
24
- # NOTE: Prepending ensures a working path; if $MANPATH was previously empty,
25
- # the trailing colon ensures that system paths are searched.
26
- ENV MANPATH="${NB_PYTHON_PREFIX}/share/man:${MANPATH}"
27
- RUN mandb
28
-
29
19
# Copy Desktop files into ${REPO_DIR}/Desktop if they exist
30
20
ONBUILD RUN mkdir -p ${REPO_DIR}/Desktop && \
31
21
if [ -d Desktop ]; then cp Desktop/* ${REPO_DIR}/Desktop/; fi
You can’t perform that action at this time.
0 commit comments