Skip to content

Relax global lock when using describe subcommand #10430

@jchavarri

Description

@jchavarri

Currently if one runs dune build -w in one terminal and tries to run dune describe in another, the latter fails:

$ dune describe
Error: A running dune (pid: 586836) instance has locked the build directory.
If this is not the case, please delete _build/.lock

I understand describe is a "read-only" subcommand, so I wonder if the restrictions / limitations that forced the introduction of the global lock could be relaxed in this case?

Maybe other subcommands that don't write in _build could see this limitation lifted (e.g. dune fmt)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions