angr / angr/angr-management

Config schema, preferences UI generation

Offen
#1,219 0 Kommentare 1 Reaktion 0 zugewiesene Personen Auf GitHub ansehen
enhancement
Vorherrschende Sprache
Python
Sterne
1.2k
Forks
131
Ø Merge
1 T. 11 Std.
Gemergte PRs (30 T.)
14

Beschreibung

### Description

It would be nice to auto-generate the preferences interface based on a well-defined schema to reduce the friction of adding new config options. Further, we could replace existing config management with an existing schema based validation library.

### Alternatives

#1003

### Additional context

_No response_

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.