2018-05-02 16:31:17 +02:00
|
|
|
#!/bin/bash
|
2020-01-21 11:42:27 +02:00
|
|
|
set -e
|
|
|
|
|
2018-05-02 16:31:17 +02:00
|
|
|
ROOT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
2020-11-06 23:52:24 +02:00
|
|
|
git pull
|
2020-01-21 11:42:27 +02: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 18:58:23 +02:00
|
|
|
cd "$ROOT_DIR/.."
|
2020-01-21 11:42:27 +02:00
|
|
|
echo "---------------------------------------------------"
|
2020-11-05 18:58:23 +02:00
|
|
|
echo "npm run buildWebsite..."
|
2020-01-21 11:42:27 +02:00
|
|
|
echo "---------------------------------------------------"
|
2020-11-05 18:58:23 +02:00
|
|
|
npm run buildWebsite
|
2020-01-21 11:42:27 +02:00
|
|
|
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
echo "Commit changes..."
|
|
|
|
echo "---------------------------------------------------"
|
|
|
|
git add -A && git commit -m "Update website" && git pull && git push
|