Skip to content

Support dune printenv over RPC #15764

Description

@shonfeder

Expected Behavior

dune printenv works when dune is running a watch server

Actual Behavior

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    rpcDune's RPC server and client supportwatch modeDune's watch mode — file watchers, change detection, build loop, RPC

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions