Created
December 30, 2021 08:57
-
-
Save iperdomo/dbdfa79e7b5cd77e90bcce469507a7da to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh | |
index eb371e6..021918e 100755 | |
--- a/.circleci/deploy.sh | |
+++ b/.circleci/deploy.sh | |
@@ -3,26 +3,26 @@ | |
# Force-push the built HTML to the `gh-pages` branch. | |
# | |
-set -e | |
+set -eu | |
DEPLOY_DIR=~/project | |
# trust GitHub server keys | |
-if [ ! -d ~/.ssh/ ]; then | |
+if [[ ! -d ~/.ssh/ ]]; then | |
mkdir ~/.ssh/ | |
fi | |
ssh-keyscan github.com >> ~/.ssh/known_hosts | |
# stage generated HTML for GitHub Pages | |
-git clone --quiet --branch=gh-pages $CIRCLE_REPOSITORY_URL $DEPLOY_DIR | |
-rsync --archive --recursive --verbose --remove-source-files $HOME/hugo/$CIRCLE_PROJECT_REPONAME/public/* $DEPLOY_DIR | |
+git clone --quiet --branch=gh-pages "$CIRCLE_REPOSITORY_URL" "$DEPLOY_DIR" | |
+rsync --archive --recursive --verbose --remove-source-files "$HOME/hugo/$CIRCLE_PROJECT_REPONAME/public/*" "$DEPLOY_DIR" | |
# git client setup | |
-cd $DEPLOY_DIR | |
+cd "$DEPLOY_DIR" | |
git config --global push.default simple | |
-git config --global user.email $(git --no-pager show --no-patch --format='%ae' HEAD) | |
-if [ -n $CIRCLE_USERNAME ]; then | |
- git config --global user.name $CIRCLE_USERNAME | |
+git config --global user.email "$(git --no-pager show --no-patch --format='%ae' HEAD)" | |
+if [[ -n "$CIRCLE_USERNAME" ]]; then | |
+ git config --global user.name "$CIRCLE_USERNAME" | |
else | |
git config --global user.name "Committer not registered on CircleCI" | |
fi |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment