X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=lib.sh;h=0329a0f05a4cc85965ca36af9a07b4749ef58f1b;hb=78be217cf70604a6f241f35cc622a5153198c46a;hp=bb60c521b959d79ecba52b33dd7e9c4bcd74de36;hpb=a5ac763c6afcfdf885da5fd9f06907981c9a127e;p=config%2Fdotfiles.git diff --git a/lib.sh b/lib.sh index bb60c52..0329a0f 100644 --- a/lib.sh +++ b/lib.sh @@ -168,7 +168,7 @@ link() { ln -s "$source" "$target" # Go back to the directory where we were before. - cd "$pwd" + cd "$pwd" || return 1 } # Generate a file from a source file using a given command. A warning not to @@ -196,13 +196,15 @@ generate() { printf '%s: generating from "%s" (%s)\n' \ "$file" "$file$extension" "$1" - 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" file_tmp="$file" fi