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

Recommended readings

Pages related to alr-index you should read also: