drom icon indicating copy to clipboard operation
drom copied to clipboard

Unescaped '$' in `drom build --help`

Open Ninjapouet opened this issue 2 years ago • 0 comments

$ drom --version
0.9.1

But the bug is here since 0.8.0 at least.

$ drom build --help > /dev/null
cmdliner error: unescaped '$' in "Install all the dependencies in the opam switch. If the argument $(b,--locked) was specified, use the $(b,${package}-deps.opam.locked) file in the project to get exact dependencies."

Ninjapouet avatar Apr 18 '23 07:04 Ninjapouet