--- a/etc/settings Tue Jan 30 22:43:10 2024 +0100
+++ b/etc/settings Wed Jan 31 12:43:06 2024 +0100
@@ -47,11 +47,14 @@
### Document preparation (cf. isabelle latex)
###
-if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
- ISABELLE_PDFLATEX="pdflatex -interaction=nonstopmode -c-style-errors"
-else
- ISABELLE_PDFLATEX="pdflatex -interaction=nonstopmode -file-line-error"
-fi
+case "$ISABELLE_PLATFORM_FAMILY" in
+ windows*)
+ ISABELLE_PDFLATEX="pdflatex -interaction=nonstopmode -c-style-errors"
+ ;;
+ *)
+ ISABELLE_PDFLATEX="pdflatex -interaction=nonstopmode -file-line-error"
+ ;;
+esac
ISABELLE_LUALATEX="lualatex --interaction=nonstopmode --file-line-error"
ISABELLE_BIBTEX="bibtex"
@@ -82,11 +85,14 @@
ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
# Location for temporary files (should be on a local file system).
-if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
- ISABELLE_TMP_PREFIX="$TMPDIR/isabelle"
-else
- ISABELLE_TMP_PREFIX="/tmp/isabelle-${USER:-$LOGNAME}"
-fi
+case "$ISABELLE_PLATFORM_FAMILY" in
+ windows*)
+ ISABELLE_TMP_PREFIX="$TMPDIR/isabelle"
+ ;;
+ *)
+ ISABELLE_TMP_PREFIX="/tmp/isabelle-${USER:-$LOGNAME}"
+ ;;
+esac
# Heap locations.
ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps"
@@ -121,13 +127,13 @@
# "open" within desktop environment (potentially asynchronous)
case "$ISABELLE_PLATFORM_FAMILY" in
- linux)
+ linux*)
ISABELLE_OPEN="xdg-open"
;;
- macos)
+ macos*)
ISABELLE_OPEN="open"
;;
- windows)
+ windows*)
ISABELLE_OPEN="cygstart"
;;
esac