Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust: proper Bash.string;
authorwenzelm
Mon, 08 Sep 2025 19:37:25 +0200
changeset 83110 51e6b31c0132
parent 83109 5f56bc0f0964
child 83111 a908a0d5168b
more robust: proper Bash.string;
src/Tools/VSCode/src/component_vscodium.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/component_vscodium.scala	Sun Sep 07 14:43:20 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Mon Sep 08 19:37:25 2025 +0200
@@ -167,8 +167,7 @@
     def build_dir(dir: Path): Path = dir + Path.basic("VSCode-" + vscode_platform(platform))
 
     def environment(dir: Path): String =
-      (build_env ::: build_upstream_env(dir) ::: env)
-        .map(s => "export " + s + "\n").mkString
+      Bash.exports((build_env ::: build_upstream_env(dir) ::: env):_*)
 
     def patch_sources(base_dir: Path, progress: Progress = new Progress): String = {
       val dir = base_dir + Path.explode("vscode")
isabelle