more robust invocation of hg;
authorwenzelm
Sat, 27 Mar 2021 19:44:36 +0100
changeset 73740 3cbf041f544a
parent 73739 4f8849357ba7
child 73741 1a6637572b70
more robust invocation of hg;
Admin/cronjob/self_update
--- a/Admin/cronjob/self_update	Sat Mar 27 19:26:34 2021 +0100
+++ b/Admin/cronjob/self_update	Sat Mar 27 19:44:36 2021 +0100
@@ -11,6 +11,9 @@
 mkdir -p run log
 
 {
+  export LANG=C
+  export HGPLAIN=
+
   "${HG:-hg}" -R isabelle pull "https://isabelle.sketis.net/repos/isabelle" || echo "self_update pull failed" >&2
   "${HG:-hg}" -R isabelle update -C || echo "self_update update failed" >&2
   isabelle/bin/isabelle components -a 2>&1 || echo "self_update components failed" >&2