- echo '###################################' >"$file"
- echo '# WARNING! DO NOT EDIT THIS FILE! #' >>"$file"
- echo '###################################' >>"$file"
- echo >>"$file"
- printf "# It was generated from '%s' on %s.\n" \
- "$file$extension" "`date`" >>"$file"
- echo >>"$file"
+ {
+ echo '###################################'
+ echo '# WARNING! DO NOT EDIT THIS FILE! #'
+ echo '###################################'
+ echo
+ printf '# It was generated from "%s" on %s.\n' \
+ "$file$extension" "`date`"
+ echo
+ } > "$file"