You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Desired Behavior
Running
dune init project myproject
uses values from ~/.config/dune/config to populate values indune-project
such asauthors
,maintainers
and possibly more.Example
dune init project myproject
generates, among other files, adune-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.The text was updated successfully, but these errors were encountered: