|
|
|
|
|
| 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 |