diff -r 9830d7981ad0 -r 804e75127f29 Admin/cronjob/plain_identify
--- a/Admin/cronjob/plain_identify	Sat Mar 27 18:03:50 2021 +0100
+++ b/Admin/cronjob/plain_identify	Sat Mar 27 18:15:19 2021 +0100
@@ -7,7 +7,8 @@
 
 source "$HOME/.bashrc"
 
-LANG=C
+export LANG=C
+export HGPLAIN=
 
 REPOS_DIR="$HOME/cronjob/plain_identify_repos"
 ISABELLE_REPOS_SOURCE="https://isabelle.sketis.net/repos/isabelle"