Revision 12823
Added by Aaron Marcuse-Kubitza over 10 years ago
| util.sh | ||
|---|---|---|
| 677 | 677 |
local cmd_name_log_inc="${cmd_name_log_inc-0}"
|
| 678 | 678 |
|
| 679 | 679 |
# print <>file redirs before cmd, because they introduce it |
| 680 |
"log+" "$cmd_name_log_inc" echo_cmd "$@" $(
|
|
| 680 |
clog+ "$cmd_name_log_inc" echo_cmd "$@" $(
|
|
| 681 | 681 |
set -- "${redirs[@]}" # operate on ${redirs[@]}
|
| 682 | 682 |
while test "$#" -gt 0 && starts_with '[<>][^&]' "$1" |
| 683 | 683 |
do log "$1 \\"; shift; done # log() will run *before* echo_cmd itself |
Also available in: Unified diff
: use clog instead of "log*"