Skip to content

Config options for default author, maintainer etc #10027

@reynir

Description

@reynir

Desired Behavior

Running dune init project myproject uses values from ~/.config/dune/config to populate values in dune-project such as authors, maintainers and possibly more.

Example

dune init project myproject generates, among other files, a dune-project file with stanzas such as (authors "Author Name") and (maintainers "Maintainer Name") which has to be edited manually every time even if my name is the same between invocations.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions