File tree 5 files changed +18
-4
lines changed
5 files changed +18
-4
lines changed Original file line number Diff line number Diff line change
1
+ This is a folder Desktop apps files: .desktop, .xml, .png
Original file line number Diff line number Diff line change @@ -26,5 +26,9 @@ RUN yes | unminimize
26
26
ENV MANPATH="${NB_PYTHON_PREFIX}/share/man:${MANPATH}"
27
27
RUN mandb
28
28
29
+ # Copy Desktop files into ${REPO_DIR}/Desktop if they exist
30
+ ONBUILD RUN mkdir -p ${REPO_DIR}/Desktop && \
31
+ if [ -d Desktop ]; then cp Desktop/* ${REPO_DIR}/Desktop/; fi
32
+
29
33
# Revert to default user
30
34
USER ${NB_USER}
Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -39,3 +39,9 @@ while IFS= read -r line; do
39
39
eval " $cmd " # || echo ${cmd}" encountered an error, but continuing..."
40
40
fi
41
41
done < /rocker_scripts/original.Dockerfile
42
+
43
+ # Install extra tex packages that are not installed by default
44
+ if command -v tlmgr & > /dev/null; then
45
+ echo " Installing texlive collection-latexrecommended..."
46
+ tlmgr install collection-latexrecommended
47
+ fi
Original file line number Diff line number Diff line change @@ -19,9 +19,13 @@ shopt -s nullglob
19
19
# build-time.
20
20
APPLICATIONS_DIR=" ${HOME} /.local/share/applications"
21
21
DESKTOP_DIR=" ${HOME} /Desktop"
22
+ # Remove DESKTOP_DIR if it exists to avoid leftover files
23
+ if [ -d " ${DESKTOP_DIR} " ]; then
24
+ rm -rf " ${DESKTOP_DIR} "
25
+ fi
22
26
mkdir -p " ${APPLICATIONS_DIR} "
23
27
mkdir -p " ${DESKTOP_DIR} "
24
- for desktop_file_path in ${REPO_DIR} /* .desktop; do
28
+ for desktop_file_path in ${REPO_DIR} /Desktop/ * .desktop; do
25
29
cp " ${desktop_file_path} " " ${APPLICATIONS_DIR} /."
26
30
27
31
# Symlink application to desktop
@@ -30,11 +34,11 @@ for desktop_file_path in ${REPO_DIR}/*.desktop; do
30
34
done
31
35
update-desktop-database " ${APPLICATIONS_DIR} "
32
36
33
- # Add MIME Type data from XML files in `mime/` dir to the MIME database.
37
+ # Add MIME Type data from XML files to the MIME database.
34
38
MIME_DIR=" ${HOME} /.local/share/mime"
35
39
MIME_PACKAGES_DIR=" ${MIME_DIR} /packages"
36
40
mkdir -p " ${MIME_PACKAGES_DIR} "
37
- for mime_file_path in ${REPO_DIR} /mime /* .xml; do
41
+ for mime_file_path in ${REPO_DIR} /Desktop /* .xml; do
38
42
cp " ${mime_file_path} " " ${MIME_PACKAGES_DIR} /."
39
43
done
40
44
update-mime-database " ${MIME_DIR} "
You can’t perform that action at this time.
0 commit comments