Dune systematically buffers the output of commands so that their output is not mixed up during parallel builds. However, this is not ideal for interactive commands that require direct access to the terminal.

Currently, the only workaround is to run dune with -j 1 --no-buffer which is not ideal since it completely disables parallelism and also require a specific dune invocation.

Another ide

As OPAM 2.1 automatically removes installed files, opam install subcommand is meaningless.

As of 2.0, opam tracks the files added to the prefix during package installation, and automatically removes them on package removal, so this should not be needed anymore in most cases (and may even be harmful if files from different packages overlap, which remove scripts generally don't handle). Use i

create a bunch of decent CSS markdown themes

idea: add a boolean option that would trigger extra commands such as those of this Travis CI template

see coq-community/templates#28 (comment) for more context