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