# HG changeset patch
# User wenzelm
# Date 1739643628 -3600
# Node ID cd96b972d5d398940128f1b1dfef9f55777b6667
# Parent  434e6e669b3a3ae3b4dc5534ea0f7bb154c3f16e
more robust startup, notably on Ubuntu 24.04 with its strict policies on the "chrome-sandbox" executable;

diff -r 434e6e669b3a -r cd96b972d5d3 src/Tools/VSCode/src/vscode_main.scala
--- a/src/Tools/VSCode/src/vscode_main.scala	Sat Feb 15 16:37:36 2025 +0100
+++ b/src/Tools/VSCode/src/vscode_main.scala	Sat Feb 15 19:20:28 2025 +0100
@@ -68,6 +68,8 @@
       Bash.strings(electron :: args0 ::: args) +
         (if (background) " > /dev/null 2> /dev/null &" else "")
 
+    progress.bash(Bash.strings(List(electron, "-v"))).check
+
     progress.bash(script, env = env, echo = true)
   }
 
@@ -244,8 +246,7 @@
         else install_extension(vsix_path = vsix_path, progress = console_progress)
 
         val (background, app_progress) =
-          if (console) (false, console_progress)
-          else { run_vscodium(List("--version")).check; (true, new Progress) }
+          if (console) (false, console_progress) else (true, new Progress)
 
         run_vscodium(
           more_args ::: (if (edit_extension) List(File.platform_path(extension_dir)) else Nil),