Module release 

The GitHub release this build of geop belongs to, and its files, as .github/workflows/release.yml names them and homepage/install.sh fetches them: every file listed with its SHA-256 in SHA256SUMS, and nothing downloaded is used before its sum is checked.

Constants

LARGEST 🔒

The largest file a release holds that is read: an extension, with the kernel in it, is some tens of megabytes.

RELEASES 🔒

Where releases are downloaded from: <base>/v<version>/<file>. GEOP_RELEASE_BASE_URL replaces it, for a mirror or a test.

Functions

base

The base URL releases are downloaded from (see RELEASES).

download

The file file of the release version, checked against the release’s SHA256SUMS.

fetch

The file at url, downloaded whole.

listed_sum

The SHA-256 sums (a SHA256SUMS file, as sha256sum writes it: <hex> <name>, or <hex> *<name> for one read as binary) gives name, in lower case.

sum_of

The SHA-256 of bytes, in lower-case hex.

url

The URL of the file file of the release version, under base.

verified

bytes, the file name, if sums lists it with their SHA-256.

vscode_target

VS Code’s name of the platform os/arch (as std::env::consts names them), which an extension with a native program in it is built for: vsce package --target.

vsix_name

The VS Code extension of the release version for the VS Code platform target: it carries the kernel built for that platform.