--- a/lib/Tools/vscode Wed Mar 09 23:05:07 2022 +0100
+++ b/lib/Tools/vscode Thu Mar 10 11:56:38 2022 +0100
@@ -2,10 +2,11 @@
#
# Author: Makarius
#
-# DESCRIPTION: run Isabelle/VSCode using local VSCodium installation
+# DESCRIPTION: run Isabelle/VSCode (requires "vscodium-X.YY.Z" component)
-DIR="$(isabelle vscode_setup -C)" || exit "$?"
-exec "$DIR/bin/codium" \
+isabelle vscode_setup || exit "$?"
+
+exec "$ISABELLE_VSCODIUM_HOME/bin/codium" \
--locale en-US \
--user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/user-data)" \
--extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \