# HG changeset patch
# User wenzelm
# Date 1647964158 -3600
# Node ID 9004ded79add5bd9e4cb53cfbbd65495b963fe0a
# Parent  c5da08c5b01b0e45e2f1ef87cafbf3e651a6af74
proper command-line tool;

diff -r c5da08c5b01b -r 9004ded79add src/Tools/VSCode/src/build_vscode_extension.scala
--- a/src/Tools/VSCode/src/build_vscode_extension.scala	Tue Mar 22 13:05:01 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscode_extension.scala	Tue Mar 22 16:49:18 2022 +0100
@@ -140,15 +140,16 @@
   lazy val extension_dir = Path.explode("$ISABELLE_VSCODE_HOME/extension")
 
   def uninstall_extension(progress: Progress = new Progress): Unit =
-    progress.bash("isabelle vscode --uninstall-extension Isabelle.isabelle").check
+    VSCode_Main.run_cli(
+      List("--uninstall-extension", "Isabelle.isabelle"), progress = progress).check
 
   def install_extension(vsix: File.Content, progress: Progress = new Progress): Unit =
   {
     Isabelle_System.with_tmp_dir("tmp")(tmp_dir =>
     {
       vsix.write(tmp_dir)
-      progress.bash("isabelle vscode --install-extension " +
-        File.bash_platform_path(tmp_dir + vsix.path)).check
+      VSCode_Main.run_cli(
+        List("--install-extension", File.platform_path(tmp_dir + vsix.path)), progress = progress).check
     })
   }