Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust: "hostname" command might be absent, notably on Arch Linux (and other systemd-based distributions);
authorwenzelm
Mon, 28 Aug 2023 13:00:24 +0200
changeset 78623 b96b73a79da3
parent 78589 dccfe13878a5
child 78624 8d7394e533f8
more robust: "hostname" command might be absent, notably on Arch Linux (and other systemd-based distributions);
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- 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
isabelle