diff -r b219774a71ae -r 2cd23d587db9 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Wed Mar 31 22:10:56 2021 +0200
+++ b/lib/scripts/getsettings	Wed Mar 31 22:58:17 2021 +0200
@@ -71,8 +71,12 @@
   exit 2
 fi
 
-#Isabelle distribution identifier -- filled in automatically!
-[ -z "$ISABELLE_IDENTIFIER" ] && ISABELLE_IDENTIFIER=""
+if [ -z "$ISABELLE_IDENTIFIER" -a -f "$ISABELLE_HOME/etc/ISABELLE_IDENTIFIER" ]
+then
+  ISABELLE_IDENTIFIER="$(cat "$ISABELLE_HOME/etc/ISABELLE_IDENTIFIER")"
+fi
+
+ISABELLE_NAME="${ISABELLE_IDENTIFIER:-Isabelle}"
 
 
 # components