X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=lib.sh;h=1ce0c33c4e96468aab048bf1b40d3997ab486819;hb=7e0091dd9b0fe43ba8d078772d82174d861faed0;hp=6a619027db7e7ae1046a66be85f9b1102fc3ab3b;hpb=bd997ea8d727d70df7e246595e55afa45902fb49;p=config%2Fdotfiles.git diff --git a/lib.sh b/lib.sh index 6a61902..1ce0c33 100644 --- a/lib.sh +++ b/lib.sh @@ -120,9 +120,9 @@ os() { echo debian elif test -f /etc/gentoo-release; then echo gentoo - elif test x`uname` = xSunOS; then + elif test x"`uname`" = xSunOS; then echo sun - elif test x`uname` = xFreeBSD; then + elif test x"`uname`" = xFreeBSD; then echo freebsd else echo 'unsupported OS!' >&2 @@ -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