Merge pull request #335 from ethereum/remix-live-deploy

Remix live deploy config
pull/339/head
David Disu 4 years ago committed by GitHub
commit 87df1e768e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 7
      apps/remix-ide/ci/deploy_from_travis_remix-live.sh

@ -11,10 +11,13 @@ git rm --cached -r -f .
echo "# Automatic build" > README.md
echo "Built website from \`$SHA\`. See https://github.com/ethereum/remix-ide/ for details." >> README.md
echo "To use an offline copy, download \`remix-$SHA.zip\`." >> README.md
cp -r $FILES_TO_PACKAGE "./"
rm -rf dist
FILES_TO_DEPLOY="assets index.html main.js polyfills.js runtime.js vendor.js"
# ZIP the whole directory
zip -r remix-$SHA.zip $FILES_TO_PACKAGE
zip -r remix-$SHA.zip $FILES_TO_DEPLOY
# -f is needed because "build" is part of .gitignore
git add -f $FILES_TO_PACKAGE remix-$SHA.zip
git add -f $FILES_TO_DEPLOY remix-$SHA.zip
git commit -m "Built website from {$SHA}."
git push -f git@github.com:ethereum/remix-live.git gh-pages

Loading…
Cancel
Save