Skip to content

debug filter: allow to specify group of section #6499

@rjbou

Description

@rjbou

Currently, --debug-sections & OPAMDEBUGSECTIONS take as argument a list of exact section name, as STATE, ÷SYSTEM, etc. Some of these sections are annotated, like FILE that contains the type file name (FILE(config), FILE(switch-config)), of CACHE the kind of the cache (CACHE(installed) and CACHE(repository)).
It is not possible to filter according FILE to have all files debug log.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions