diff -r dccfe13878a5 -r b96b73a79da3 lib/scripts/getsettings
--- 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