2017-07-28 00:59:34 +02:00
|
|
|
#!/bin/bash
|
2020-01-25 01:17:46 +02:00
|
|
|
echo "Deprecated! Use `node Tools/release-cli.js`"
|
|
|
|
|
exit 1
|
|
|
|
|
|
2017-07-28 00:59:34 +02:00
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
2017-10-30 23:29:36 +02:00
|
|
|
cd "$SCRIPT_DIR"
|
2017-07-28 00:59:34 +02:00
|
|
|
npm version patch
|
2017-08-05 00:15:08 +02:00
|
|
|
touch "$SCRIPT_DIR/app/main.js"
|
2017-07-28 00:59:34 +02:00
|
|
|
bash $SCRIPT_DIR/build.sh
|
|
|
|
|
cp "$SCRIPT_DIR/package.json" build/
|
2017-07-31 21:47:58 +02:00
|
|
|
cp "$SCRIPT_DIR/../README.md" build/
|
2017-07-28 00:59:34 +02:00
|
|
|
cd "$SCRIPT_DIR/build"
|
2018-01-09 21:45:08 +02:00
|
|
|
npm publish
|
|
|
|
|
|
2018-01-26 19:19:42 +02:00
|
|
|
NEW_VERSION=$(cat package.json | jq -r .version)
|
2018-01-09 21:45:08 +02:00
|
|
|
git add -A
|
|
|
|
|
git commit -m "CLI v$NEW_VERSION"
|
|
|
|
|
git tag "cli-v$NEW_VERSION"
|
|
|
|
|
git push && git push --tags
|
