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!
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-fileunder 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.21but 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!