# HG changeset patch
# User wenzelm
# Date 1757528828 -7200
# Node ID af81d82867144cdde26f5670a73611b918281555
# Parent  37111f958acf4b8fe0c020fc534be9f1e0e82fce
more systematic no_bash_functions: reduce process environment further;

diff -r 37111f958acf -r af81d8286714 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Wed Sep 10 19:44:51 2025 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Sep 10 20:27:08 2025 +0200
@@ -431,6 +431,8 @@
   lazy val bash_functions: List[String] =
     bash("declare -Fx").check.out_lines.flatMap(s => Word.explode(s).lastOption)
 
+  def no_bash_functions: List[String] = bash_functions.map("-" + _)
+
   object Bash_Functions extends Scala.Fun_Strings("bash_functions") {
     val here = Scala_Project.here
     def apply(args: List[String]): List[String] = bash_functions
diff -r 37111f958acf -r af81d8286714 src/Tools/VSCode/src/component_vscodium.scala
--- a/src/Tools/VSCode/src/component_vscodium.scala	Wed Sep 10 19:44:51 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Wed Sep 10 20:27:08 2025 +0200
@@ -148,9 +148,7 @@
             "-JEDIT_JARS",
             "-JORTHO_DICTIONARIES",
             "-KODKODI_CLASSPATH",
-            "-SOLR_JARS",
-            "-init_component",
-            "-init_components")
+            "-SOLR_JARS") ::: Isabelle_System.no_bash_functions
         }
         else if (platform.is_linux) List("SKIP_LINUX_PACKAGES=True")
         else Nil