Skip to content

Functoria Key - why not use standard cmdliner? #1616

@hannesm

Description

@hannesm

Dear everyone,

we have the split between configure time and runtime arguments, and still there's this big Key module, featuring "Terms for cross-stage arguments." -- are these still needed?

Can't we use the normal Cmdliner library in Functoria/Mirage now? And there have the set of keys relevant for configuration time (and then the existing Mirage_runtime.register_arg stuff for runtime keys)?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions