diff -r 7e11e96a922d -r 75ebc168731c src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Tue Jan 24 19:55:33 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Tue Jan 24 20:05:23 2023 +0100
@@ -38,7 +38,6 @@
     strict: Boolean = true
   ): Process_Result = {
     progress.bash(
-      "export USER_HOME=" + File.bash_path(Path.USER_HOME) + "\n" +
       Isabelle_System.export_isabelle_identifier(isabelle_identifier) + script,
       env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo, strict = strict)
   }