This repository was archived by the owner on Jan 15, 2021. It is now read-only.
File tree Expand file tree Collapse file tree 3 files changed +35
-0
lines changed
Expand file tree Collapse file tree 3 files changed +35
-0
lines changed Original file line number Diff line number Diff line change 1+ language : generic
2+
3+ env :
4+ global :
5+ - ENCRYPTION_LABEL="51dbb505c079"
6+ - SERVER="165.227.248.76"
7+ - SERVER_PUBLIC_KEY="ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBDt6Igtp73aTOYXuFb8qLtgs80wWF6cNi3/AItpWAMpX3PymUw7stU7Pi+IoBJz21nfgmxaKp3gfSe2DPNt06l8="
8+ - WEB_ROOT="html-differences.whatwg.org"
9+
10+ script :
11+ - bash ./deploy.sh
12+
13+ notifications :
14+ email :
15+ on_success : never
16+ on_failure : always
Original file line number Diff line number Diff line change 1+ #! /bin/bash
2+ set -e
3+
4+ if [ " $TRAVIS_BRANCH " != " master" -o " $TRAVIS_PULL_REQUEST " != " false" ]; then
5+ echo " Skipping deploy for a pull request"
6+ else
7+ ENCRYPTED_KEY_VAR=" encrypted_${ENCRYPTION_LABEL} _key"
8+ ENCRYPTED_IV_VAR=" encrypted_${ENCRYPTION_LABEL} _iv"
9+ ENCRYPTED_KEY=${! ENCRYPTED_KEY_VAR}
10+ ENCRYPTED_IV=${! ENCRYPTED_IV_VAR}
11+ openssl aes-256-cbc -K $ENCRYPTED_KEY -iv $ENCRYPTED_IV -in deploy_key.enc -out deploy_key -d
12+ chmod 600 deploy_key
13+ eval ` ssh-agent -s`
14+ ssh-add deploy_key
15+ echo " $SERVER $SERVER_PUBLIC_KEY " > known_hosts
16+ mkdir $WEB_ROOT
17+ mv Overview.whatwg.html $WEB_ROOT /index.html
18+ rsync --archive --chmod=D755,F644 --verbose --compress --delete --rsh=" ssh -o UserKnownHostsFile=known_hosts" $WEB_ROOT deploy@$SERVER :/var/www/
19+ fi
You can’t perform that action at this time.
0 commit comments