execute + time a program
spr_msg_exec [-A](flag: append) [-E](flag: echo) [-R](flag: time) [-i file] [-o file] [-e file]
[-oe file] [-- ]
- Parameters
-
-Aflag | append
Append to stdin, stdout or stderr. |
-Eflag | echo
Echo back command to stderr before executing it. |
-Rflag | time
Report timing information at the end of the program. |
-i<em>file</em><a | name="spr_msg_exec.i" class="el">
Redirect stdin to the given file. |
-o<em>file</em><a | name="spr_msg_exec.o" class="el">
Redirect stdout to the given file. |
-e<em>file</em><a | name="spr_msg_exec.e" class="el">
Redirect stderr to the given file. |
-oe<em>file</em><a | name="spr_msg_exec.oe" class="el">
Redirect stdout and stderr to the given file. |
–<em></em><a | name="spr_msg_exec.-" class="el">
Stop argument decoding, start of the command to execute. |
Execute + time a program. Echo the command line and execute a command while redirecting IO, making pipes, and/or printing timing information at the end of the program. Next to some global IO redirections (these act on the complete pipe, and are not echoed back), specific IO redirections can be specified as well. The following constructions are supported:
- [12]>
- redirect stdout/stderr to a certain file (next argument)
- [12]>>
- redirect + append
- 0<
- redirect stdin to a certain file (next argument)
- 1>&2
- set stdout to stderr
- 2>&1
- set stderr to stdout
Parsing if IO redirection is left-to-right. See the 'bash' manual for more details.
- Author
- Kris Demuynck
- Date
- 1 Dec 2003- KD
- Creation.