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

Allow to deactivate package managers #4962

Merged
merged 3 commits into from
Jan 17, 2022
Merged

Allow to deactivate package managers #4962

merged 3 commits into from
Jan 17, 2022

Commits on Jan 16, 2022

  1. Make the ALL properties explicitly typed sets 

    This resolves inspection hints and allows for a later simplification of
factory instance deduplication.

Signed-off-by: Sebastian Schuberth <[email protected]>
    @sschuberth
    sschuberth committed Jan 16, 2022
    Configuration menu
    Copy the full SHA
    5a2be11 View commit details
    Browse the repository at this point in the history

  2. AnalyzerCommand: Allow to deactivate package managers 

    So far, deactivating a single package manager required to specify all
remaining activated package managers. This new convenience option allows
to explicitly deactivate unwanted package managers instead.

Signed-off-by: Sebastian Schuberth <[email protected]>
    @sschuberth
    sschuberth committed Jan 16, 2022
    Configuration menu
    Copy the full SHA
    d55b4ca View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2022

  1. analyzer: Allow to deactivate the Unmanaged package manager 

    Expose the `Unmanaged` package manager (also to the command line help)
in order to allow the user to deactivate it, if desired.

Signed-off-by: Sebastian Schuberth <[email protected]>
    @sschuberth
    sschuberth committed Jan 17, 2022
    Configuration menu
    Copy the full SHA
    154dc1f View commit details
    Browse the repository at this point in the history