Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/vscode
changeset 75098 9e79c9f55edd
parent 75090 2af8426e1f65
child 75170 08b8c0a2d67c
equal deleted inserted replaced
75097:7001ae6c0832 75098:9e79c9f55edd 
     4 #
 
     4 #
 
     5 # DESCRIPTION: run Isabelle/VSCode using local VSCodium installation
 
     5 # DESCRIPTION: run Isabelle/VSCode using local VSCodium installation
 
     6 
     6 
     7 DIR="$(isabelle vscode_setup -C)" || exit "$?"
 
     7 DIR="$(isabelle vscode_setup -C)" || exit "$?"
 
     8 exec "$DIR/bin/codium" \
 
     8 exec "$DIR/bin/codium" \
 
     9   --user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS")" \
 
     9   --user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/user-data)" \
 
    10   --extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
 
    10   --extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
 
    11   "$@"
 
    11   "$@"
isabelle