Formatting dune files on save while the build is running
#13.525 geöffnet am 02.02.2026
Repository-Metriken
- Stars
- (1.882 Sterne)
- PR-Merge-Metriken
- (Durchschn. Merge 1T 20h) (345 gemergte PRs in 30 T)
Beschreibung
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!