2018-05-02 15:31:17 +01:00
|
|
|
#!/bin/bash
|
2020-01-21 09:42:27 +00:00
|
|
|
set -e
|
|
|
|
|
2018-05-02 15:31:17 +01:00
|
|
|
ROOT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
2020-11-06 21:52:24 +00:00
|
|
|
git pull
|
2020-01-21 09:42:27 +00:00
|
|
|
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
echo "$ROOT_DIR/update-readme-download.js..."
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
node "$ROOT_DIR/update-readme-download.js"
|
|
|
|
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
echo "$ROOT_DIR/build-release-stats.js..."
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
node "$ROOT_DIR/build-release-stats.js"
|
|
|
|
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
echo "$ROOT_DIR/build-welcome.js..."
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
node "$ROOT_DIR/build-welcome.js"
|
|
|
|
|
2020-11-05 16:58:23 +00:00
|
|
|
cd "$ROOT_DIR/.."
|
2020-01-21 09:42:27 +00:00
|
|
|
echo "---------------------------------------------------"
|
2020-11-05 16:58:23 +00:00
|
|
|
echo "npm run buildWebsite..."
|
2020-01-21 09:42:27 +00:00
|
|
|
echo "---------------------------------------------------"
|
2020-11-05 16:58:23 +00:00
|
|
|
npm run buildWebsite
|
2020-01-21 09:42:27 +00:00
|
|
|
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
echo "Commit changes..."
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
git add -A && git commit -m "Update website" && git pull && git push
|