Skip to content

Formatting dune files on save while the build is running #13525

@mbarbin

Description

@mbarbin

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!

Metadata

Metadata

Assignees

No one assigned

    Labels

    good first issueGood for contributing for the first time to the Dune codebaserpc

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions