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