Repository metrics
- Stars
- (1,882 stars)
- PR merge metrics
- (Avg merge 1d 20h) (345 merged PRs in 30d)
Description
Desired Behavior
Imagine you have an editor extension enabled that can format your dune files (dune, dune-project, etc.) on save, using dune format-dune-file under the hood. I think now if you have a build running in watch mode in the project, this no longer works. The format command conflicts with the build locks.
I think this use to work before dune.3.21 but I suspect something changed.
Repro?
I'd appreciate if someone else can confirm as I am not sure exactly sure from where this workflow comes from (dune.el?). I have noticed it via some other layer with the reformatter emacs package (using this setup). Not sure if this applies to other users. Thanks!