Use https for curl, reset repo in a nicer way

Jochen Sprickerhof
2018-09-25 21:24:05 +02:00
parent d4f6b2dc33
commit a375587747
+3 -2
@@ -27,7 +27,7 @@ deploy_challenge() {
git -C "$REPO" commit -m "Let's Encrypt challenge" git -C "$REPO" commit -m "Let's Encrypt challenge"
git -C "$REPO" push git -C "$REPO" push
sleep 20 sleep 20
while ! curl --output /dev/null --silent --head --fail "http://$DOMAIN/.well-known/acme-challenge/$TOKEN_FILENAME"; do while ! curl --output /dev/null --silent --head --fail "https://$DOMAIN/.well-known/acme-challenge/$TOKEN_FILENAME"; do
echo sleeping echo sleeping
sleep 5 sleep 5
done done
@@ -35,7 +35,8 @@ deploy_challenge() {
clean_challenge() { clean_challenge() {
TOKEN_FILENAME="$2" TOKEN_FILENAME="$2"
git -C "$REPO" reset --hard HEAD~ git -C "$REPO" reset HEAD~
rm -r "$REPO/public/"
git -C "$REPO" push --force-with-lease git -C "$REPO" push --force-with-lease
} }