more systematic no_bash_functions: reduce process environment further;

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

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