← Command reference · lean-pkg index · CLI overview

lean-pkg index migrate

rewrite index-entry/1 entries as index-entry/2 (claims derived).

Usage

lean-pkg index migrate [--check] [--index INDEX] [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
--check	exit 1 when an entry is not current; write nothing
--index INDEX	index root (default: $LEAN_PKG_INDEX, else index/ beside the registry when present, else ./index)

Details

Form	What it does	Key flags
index migrate	rewrite every index-entry/1 entry as index-entry/2, deriving claims from its headline; nothing else changes; --check exits 1 when an entry is not current and writes nothing	[--check] [--index PATH]