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