Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

RFC: manifest: Add finegrained group filters #57225

Closed
wants to merge 1 commit into from

Commits on Apr 26, 2023

  1. manifest: Add finegrained group filters

    Several users are not happy about the size of a default
    zephyr workspace, and about the means they have
    to select which projects they have locally.
    
    Add more fine grained groups (one per project), to enable
    them to locally select which they want.
    
    Users will still get the "default" group by default.
    But if they want a small subset they can do
    west config manifest.group-filter -- "-default, +proj_x, +proj_y"
    
    Signed-off-by: Alberto Escolar Piedras <alberto.escolar.piedras@nordicsemi.no>
    aescolar committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    fcdc676 View commit details
    Browse the repository at this point in the history