diff options
author | 2018-05-20 18:03:07 +0200 | |
---|---|---|
committer | 2018-05-20 17:03:07 +0100 | |
commit | 9c153a1dd498b6c927478c352b3d4aea88433e2d (patch) | |
tree | 1dd8241fcd6d3c02f19e51df0fc1dd5a9e167147 /scripts/deploy.sh | |
parent | [Jams] Redirect user back to form from profile page (diff) |
removes the python deploy script in favour of a curl command (#74)
Diffstat (limited to 'scripts/deploy.sh')
-rw-r--r-- | scripts/deploy.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/deploy.sh b/scripts/deploy.sh index 96723aa6..d1ac047d 100644 --- a/scripts/deploy.sh +++ b/scripts/deploy.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -e # Build and deploy on master branch if [[ $TRAVIS_BRANCH == 'master' && $TRAVIS_PULL_REQUEST == 'false' ]]; then @@ -12,7 +13,7 @@ if [[ $TRAVIS_BRANCH == 'master' && $TRAVIS_PULL_REQUEST == 'false' ]]; then docker push pythondiscord/site:latest echo "Deploying container" - pipenv run python scripts/deploy.py + curl -H "token: $AUTODEPLOY_TOKEN" $AUTODEPLOY_URL else echo "Skipping deploy" fi |