Skip to content

Quiet installation #7106

@glondu

Description

@glondu

Desired Behavior

dune install prints one line per installed file, and there seems to be no way to avoid this (other than redirecting output to /dev/null). I would like dune to output only errors.

Example

I just discovered the --display=quiet option, but it seems to have no effect on dune install. Maybe it could be used to implement a quiet installation?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions