lib/Tools/vscode
author wenzelm
Fri, 18 Feb 2022 12:18:41 +0100
changeset 75090 2af8426e1f65
child 75098 9e79c9f55edd
permissions -rwxr-xr-x
run Isabelle/VSCode using local VSCodium installation;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: run Isabelle/VSCode using local VSCodium installation

DIR="$(isabelle vscode_setup -C)" || exit "$?"
exec "$DIR/bin/codium" \
  --user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS")" \
  --extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
  "$@"