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 75277 f64725832d63
parent 75273 f1c6e778e412
child 75279 9229f2681db7
equal deleted inserted replaced
75275:cdb9c7d41a41 75277:f64725832d63 
     4 #
 
     4 #
 
     5 # DESCRIPTION: run Isabelle/VSCode (requires "vscodium-X.YY.Z" component)
 
     5 # DESCRIPTION: run Isabelle/VSCode (requires "vscodium-X.YY.Z" component)
 
     6 
     6 
     7 isabelle vscode_setup || exit "$?"
 
     7 isabelle vscode_setup || exit "$?"
 
     8 
     8 
     9 exec "$ISABELLE_VSCODIUM_HOME/vscodium" \
 
     9 ELECTRON_RUN_AS_NODE=1 "$ISABELLE_VSCODIUM_HOME/electron" \
 
    10   --locale en-US \
 
    10   "$(platform_path "$ISABELLE_VSCODIUM_HOME/resources/vscodium/out/cli.js")" \
 
       
    11   --ms-enable-electron-run-as-node --locale en-US \
 
    11   --user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/user-data)" \
 
    12   --user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/user-data)" \
 
    12   --extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
 
    13   --extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
 
    13   "$@"
 
    14   "$@"
isabelle