-
Notifications
You must be signed in to change notification settings - Fork 470
Quiet installation #7106
Copy link
Copy link
Closed
Labels
Description
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?
Reactions are currently unavailable