www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit ec4623a80ffedfdf16fc748d6c4ee654c185543d
parent 062820300ad2fccedbcad4694928cd67271e72c6
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Mon, 20 Mar 2017 19:38:24 +0100

Fixed script.

Diffstat:
Mtravis-auto-deploy.sh | 5+++--
1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/travis-auto-deploy.sh b/travis-auto-deploy.sh @@ -1,15 +1,16 @@ #!/bin/sh set -e -set -x +set +x if test "$(git config remote.origin.url)" != "https://github.com/jsmaniac/scribble-mathjax.git"; then echo "Not on official repo, will not deploy gh-pages." elif test "$TRAVIS_PULL_REQUEST" != "false"; then echo "This is a Pull Request, will not deploy gh-pages." elif test "$TRAVIS_BRANCH" != "v2.6-racket-mini-source"; then echo "Not on v2.6-racket-mini-source branch (TRAVIS_BRANCH = $TRAVIS_BRANCH), will not deploy gh-pages." -elif test -z "${encrypted_1b66487e02e5_key:-}" -o -z "${encrypted_1b66487e02e5_iv:-}"; then +elif test -z "${encrypted_675a73236f08_key:-}" -o -z "${encrypted_675a73236f08_iv:-}"; then echo "Travis CI secure environment variables are unavailable, will not deploy gh-pages." else + set -x echo "Automatic push to gh-pages" # Git configuration: