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 75170 08b8c0a2d67c
parent 75098 9e79c9f55edd
child 75240 83197a0ac6df
equal deleted inserted replaced
75169:b61dc9070344 75170:08b8c0a2d67c 
     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   --locale en-US \
 
     9   --user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/user-data)" \
 
    10   --user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/user-data)" \
 
    10   --extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
 
    11   --extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
 
    11   "$@"
 
    12   "$@"
isabelle