--- 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
--- 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
--- 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) {