diff --git a/tools/branch-deploy.sh b/tools/branch-deploy.sh index 0808e17..6eb4c95 100755 --- a/tools/branch-deploy.sh +++ b/tools/branch-deploy.sh @@ -22,7 +22,7 @@ INDEX_PAGE="${TARGET_FOLDER}/index.html" echo "
Deploying...
" > "${INDEX_PAGE}" # Create a block all robots.txt -echo -e "User-agent: *\nDisallow: /" > ${TARGET_FOLDER}/robots.txt" +echo -e "User-agent: *\nDisallow: /" > "${TARGET_FOLDER}/robots.txt" # Checkout a local bare copy, to speed up later checkouts ORIGIN=$(git config --get remote.origin.url)