6 echo "$0 FILE PROG ARGS"
7 echo " Run PROG with ARGS, writing its stdout to FILE if it succeeds."
8 echo " Clobbers FILE.new."
12 echo >&2 "$0 FILE PROG ARGS"
17 set +e
; "$@" >"$file.new"; st
=$?
; set -e
18 if [ $st -eq
0 ]; then
19 mv "$file.new" "$file"