| changeset 73485 | 3cbf041f544a |
| parent 73479 | 6e20976d58f5 |
| child 73486 | 1a6637572b70 |
--- 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