# HG changeset patch
# User wenzelm
# Date 1647349436 -3600
# Node ID 2b64d565759295b697c8e410628a9cd3cf764432
# Parent  5417613efd74563c1d29ec4f89629d68e3f9c50d
clarified errors;

diff -r 5417613efd74 -r 2b64d5657592 lib/Tools/electron
--- a/lib/Tools/electron	Tue Mar 15 13:22:37 2022 +0100
+++ b/lib/Tools/electron	Tue Mar 15 14:03:56 2022 +0100
@@ -4,4 +4,9 @@
 #
 # DESCRIPTION: run the Electron framework within the Isabelle environment
 
-exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"
+if [ -z "$ISABELLE_VSCODIUM_ELECTRON" ]; then
+  echo '*** Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component'
+  exit 2
+else
+  exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"
+fi
diff -r 5417613efd74 -r 2b64d5657592 lib/Tools/node
--- a/lib/Tools/node	Tue Mar 15 13:22:37 2022 +0100
+++ b/lib/Tools/node	Tue Mar 15 14:03:56 2022 +0100
@@ -4,5 +4,10 @@
 #
 # DESCRIPTION: run the Node.js framework within the Isabelle environment
 
-export ELECTRON_RUN_AS_NODE=1
-exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"
+if [ -z "$ISABELLE_VSCODIUM_ELECTRON" ]; then
+  echo '*** Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component'
+  exit 2
+else
+  export ELECTRON_RUN_AS_NODE=1
+  exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"
+fi
diff -r 5417613efd74 -r 2b64d5657592 src/Tools/VSCode/src/vscode_setup.scala
--- a/src/Tools/VSCode/src/vscode_setup.scala	Tue Mar 15 13:22:37 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Tue Mar 15 14:03:56 2022 +0100
@@ -33,8 +33,8 @@
 
   def vscode_setup(): Unit =
   {
-    if (Isabelle_System.getenv("ISABELLE_VSCODIUM_HOME").isEmpty) {
-      error("""Missing $ISABELLE_VSCODIUM_HOME: proper vscodium-X.YY.Z component required""")
+    if (Isabelle_System.getenv("ISABELLE_VSCODIUM_ELECTRON").isEmpty) {
+      error("""Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component""")
     }
 
     if (!vscode_settings_user.is_file) {