Man page - alr-index(1)

Packages contains this manual

Manual

ALR-INDEX

NAME
SYNOPSIS
OPTIONS
GLOBAL OPTIONS
DESCRIPTION
SEE ALSO
AUTHOR

NAME

alr-index - Manage indexes used by current configuration

SYNOPSIS

alr index [options] --add <url> --name <name> [--before <name>] | --del <name> | [--list] | --update-all | --check

OPTIONS

--add= URL

Add an index

--before= NAME

Priority order (defaults to last)

--check

Check index contents for unknown configuration values

--del= NAME

Remove an index

--list

List configured indexes (default)

--name= NAME

User given name for the index

--update-all

Update configured indexes

--reset-community

Add the community index, or reset any local changes

GLOBAL OPTIONS

-c, --config= ARG

Override configuration folder location

-f, --force

Keep going after a recoverable troublesome situation

-h, --help

Display general or command-specific help

-n, --non-interactive

Assume default answers for all user prompts

--no-color

Disables colors in output

--no-tty

Disables control characters in output

--prefer-oldest

Prefer oldest versions instead of newest when resolving dependencies

--version

Displays version and exits

-q

Limit output to errors

-v

Be more verbose (use twice for extra detail)

-d, --debug[]

Enable debug-specific log messages

DESCRIPTION

Add, remove, list and update indexes used by the current alr configuration.

Updating applies only to repository-stored indexes, in which case a pull operation will be performed on them. An index initially set up with a specific commit will not be updated.

SEE ALSO

alr(1) , alr-get(1) , alr-init(1) , alr-pin(1) , alr-search(1) , alr-show(1) , alr-update(1) , alr-with(1) , gprbuild(1)

AUTHOR

Generated with generate-man from Alire execution