forked from zephyrproject-rtos/west
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rename some things to 'group-filter' from 'groups'
As a result of review of the project groups feature documentation, change some of the names to be more clear, and be a bit more forgiving in the error handling. A project's 'groups' list remains the same. No changes there. However, we make the following changes: - 'manifest: groups:' is now 'manifest: group-filter:' - we add a west.manifest.Manifest.group_filter value, exposing 'manifest: group-filter:' after validation and string conversion - the config option 'manifest.groups' is now 'manifest.group-filter' - invalid values in manifest.group-filter are downgraded to warnings - the west update '--groups' option becomes '--group-filter', with a slightly shorter name '--gf' if you can't handle that Signed-off-by: Martí Bolívar <[email protected]>
- Loading branch information
1 parent
fa7bba2
commit 06ed61f
Showing
5 changed files
with
214 additions
and
158 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.