- echo '###################################' >"$file"
- echo '# WARNING! DO NOT EDIT THIS FILE! #' >>"$file"
- echo '###################################' >>"$file"
- echo >>"$file"
- echo "# It was generated from $file$extension on `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"