Formatting dune files on save while the build is running
#13.525 aperta il 2 feb 2026
Metriche repository
- Star
- (1882 stelle)
- Metriche merge PR
- (Merge medio 1g 20h) (345 PR mergiate in 30 g)
Descrizione
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!