|
|
|
|
|
Description |
Run shell commands with various types of progress reporting.
Author: David Fox
|
|
Synopsis |
|
|
|
Documentation |
|
|
Create a task that sends its output to a handle and then can be
terminated using an IO operation that returns an exit status.
Throws an error if the command fails.
|
|
|
|
|
Constructors | Start String | Message printed before the execution begins
| Finish String | Message printed on successful termination
| Error String | Message printed on failure
| Output Output | Type of output to generate during execution
| Echo Bool | If true, echo the shell command before beginning
| Elapsed Bool | If true print the elapsed time on termination
| Verbosity Int | Set the verbosity level. This value can be queried
using the verbosity function, but is not otherwise used
by the -- functions in this module.
| Indent String | Set the indentation string for the generated output.
|
|
|
|
|
|
|
Constructors | Indented | Print all the command's output with each line
indented using (by default) the string ' > '.
| Dots | Print a dot for every 1024 characters the command
outputs
| Done | Print an ellipsis (...) when the command starts
and then done. when it finishes.
| Quiet | Print nothing.
|
|
|
|
|
|
|
|
Accessors
|
|
|
|
|
|
Style Set modification
|
|
|
Add styles, replacing old ones if present
|
|
|
Singleton case of setStyles
|
|
|
Add styles only if not present
|
|
|
Singleton case of addStyles
|
|
|
Remove styles by class
|
|
Utilities
|
|
|
|
|
|
|
records the difference between two clock times in a user-readable way.
|
|
|
|
null time difference.
|
|
|
The timeDiffToString function returns the empty string for
the zero time diff, this is not the behavior I need.
|
|
Produced by Haddock version 2.6.0 |