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.

Sign up for GitHub

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

Jump to bottom

app: config: Add support for appending to the config string #768

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

app: config: Add support for appending to the config string #768

wants to merge 1 commit into from
+32 −11

Commits on Nov 14, 2024

  1. app: config: Add support for appending to the config string 

    In some cases, and specifically in the manifest.group-filter and
manifest.project-filter options, it is sometimes useful to be able to
append to a value instead of replacing it completely.

For example, assuming one wants to add to an existing group filter,
without this patch the user needs to do:

(assuming the group filter is currently +unstable,-optional, and the
user wants to add +extras).
> west config manifest.group-filter
> west config manifest.group-filter +unstable,-optional,+extras

With this patch instead:

> west config -a manifest.group-filter ,+extras

Signed-off-by: Carles Cufi <carles.cufi@nordicsemi.no>
    @carlescufi
    carlescufi committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    4d8d948 View commit details
    Browse the repository at this point in the history