lint: remove whitespaces before redirect

This commit is contained in:
Jose Diaz-Gonzalez
2019-02-02 13:49:24 -05:00
parent b72deb2b2a
commit 67ae374e60
36 changed files with 78 additions and 78 deletions

View File

@@ -30,7 +30,7 @@ TMP=$(mktemp -d "/tmp/$TARGET.XXXXX")
rmdir "$TMP" && cp -r "$(dirname "$SELF")/$APP" "$TMP"
pushd "$TMP" &>/dev/null || exit 1
trap 'popd &> /dev/null || true; rm -rf "$TMP"' INT TERM EXIT
trap 'popd &>/dev/null || true; rm -rf "$TMP"' INT TERM EXIT
git init
git config user.email "robot@example.com"