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

disable auto formatting for specific dune files #10862

Open
Khady opened this issue Aug 30, 2024 · 1 comment
Open

disable auto formatting for specific dune files #10862

Khady opened this issue Aug 30, 2024 · 1 comment

Comments

@Khady
Copy link
Contributor

Khady commented Aug 30, 2024

Desired Behavior

In a dune file, having a stanza (formatting disabled) would ensure that the file doesn't get touched when dune build @fmt runs.

We have dune files where the content written by hand is much more readable then when it's being auto formatted. Often because of what is explained in #10861, but not only. In those cases it would be nice to be able to preserve part of a dune file or a whole dune file.

@rgrinberg
Copy link
Member

Sure, this seems like a fine feature to have. Instead of making it file based, I wonder if we can just have a without_formatting stanza.

In any case, PR's welcome and I'm not going to be too picky about the solution because of how niche this sounds.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants