# HG changeset patch # User wenzelm # Date 1646513541 -3600 # Node ID 33fb3014876fe63fb982605f167a332ac6d7ccf4 # Parent 02e596048ab38c5bb6f33a7d8bd8c48499ceb5f8 recover platform-specific node binaries from original download, notably for node-pty for Terminal; diff -r 02e596048ab3 -r 33fb3014876f src/Pure/Admin/build_vscodium.scala --- a/src/Pure/Admin/build_vscodium.scala Sat Mar 05 21:30:49 2022 +0100 +++ b/src/Pure/Admin/build_vscodium.scala Sat Mar 05 21:52:21 2022 +0100 @@ -94,6 +94,19 @@ } } + def node_binaries(dir: Path, progress: Progress): Unit = + { + Isabelle_System.with_tmp_dir("download")(download_dir => + { + download(download_dir, progress = progress) + for (name <- Seq("app/node_modules.asar", "app/node_modules.asar.unpacked")) { + val rel_path = resources_dir(Path.current) + Path.explode(name) + Isabelle_System.rm_tree(dir + rel_path) + Isabelle_System.copy_dir(download_dir + rel_path, dir + rel_path) + } + }) + } + def setup_executables(dir: Path): Unit = { val exe = vscodium_exe(dir) @@ -232,6 +245,7 @@ val platform_dir = platform_info.platform_dir(component_dir) Isabelle_System.copy_dir(platform_info.build_dir(vscodium_dir), platform_dir) + platform_info.node_binaries(platform_dir, progress) platform_info.patch_resources(platform_dir) platform_info.setup_executables(platform_dir) })