--- a/lib/scripts/getsettings Sun Aug 27 19:07:12 2023 +0200
+++ b/lib/scripts/getsettings Mon Aug 28 13:00:24 2023 +0200
@@ -78,7 +78,7 @@
ISABELLE_NAME="${ISABELLE_IDENTIFIER:-Isabelle}"
-ISABELLE_HOSTNAME="$(hostname -s)"
+ISABELLE_HOSTNAME="$(hostname -s 2>/dev/null || uname -n)"
# components