← Command reference · lean-pkg registry · CLI overview

lean-pkg registry wiki

render a Markdown status page.

Also spelled: lean-pkg wiki (all aliases).

Usage

lean-pkg registry wiki [--out OUT] [--candidates CANDIDATES] [common flags]

[common flags]: --json, --commit, --push, --no-commit, also accepted before the command name; see the CLI overview.

Arguments and flags

Argument or flag	Description
--out OUT	write the Markdown here instead of stdout
--candidates CANDIDATES	adoption ledger path (default: lean-adoption-candidates.yaml next to the registry)

Details

Form	What it does	Key flags
wiki	render a Markdown status page	[--out PATH] [--candidates PATH]