Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reference a full kontrol.toml file in docs #818

Open
palinatolmach opened this issue Sep 11, 2024 · 2 comments
Open

Reference a full kontrol.toml file in docs #818

palinatolmach opened this issue Sep 11, 2024 · 2 comments
Assignees
Labels
enhancement New feature or request good first issue Good for newcomers kaas

Comments

@palinatolmach
Copy link
Collaborator

As suggested by @F-WRunTime, we should make kontrol.toml with all possible options available and downloadable with CURL. One way to do it is to add it, e.g., under docs, and curl it during kontrol init.

@F-WRunTime
Copy link
Member

A couple additional requests

  • Could we also include that the XML report generation is done by default?
  • Could we have a couple options of configuration file definitions or at least just one containing a set of kontrol build / prove commands thats a likely best fit for all most users

@palinatolmach
Copy link
Collaborator Author

Fair, I think we can do both, thanks @F-WRunTime! We can probably list all options in kontrol.toml in the docs/generated by default, and set the options to be the likely best fit, as you suggested. I'll try to get it done next week!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request good first issue Good for newcomers kaas
Projects
None yet
Development

No branches or pull requests

3 participants