# HG changeset patch
# User wenzelm
# Date 1674587123 -3600
# Node ID 75ebc168731c812a825f28e70037bf6dc011f756
# Parent  7e11e96a922d0f4ce825885e2ef4887e59f5d4dc
discontinued adhoc change of environment (from 897f1ac84aab), following ssh c2e8ba15a10a;

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)
   }