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"