Module vscode 

geop vscode: install the VS Code extension of this very release — the one whose kernel and page speak this build’s protocol — into VS Code, or an editor built on it (Cursor, VSCodium).

The extension is downloaded from the release (see release), its SHA-256 checked, and given to the editor’s command line: code --install-extension <file>.

Structs

VscodeArgs

Constants

EDITORS 🔒

The command lines of the editors an extension of VS Code installs into, in the order they are looked for.

Functions

command_extensions 🔒

The extensions a command is run with here: Windows runs code.cmd for code.

editor 🔒

The editor command line to install into: chosen, or the first of EDITORS on PATH.

find_command

The file name names among the directories path (as PATH lists them), with one of the extensions extensions ("" for none): what a shell would run for name. A name with a directory in it is taken as it is.

install