chore: release script

package.json

@@ -4,7 +4,6 @@
   "scripts": {
     "build": "lerna run build",
     "watch": "lerna run --parallel watch",
-    "package": "lerna run build; lerna run package",
     "lint": "lerna run lint"
   },
   "devDependencies": {

vscode-lean4/release.sh → release.sh

@@ -10,18 +10,22 @@ if [ -z "$OVSX_PAT" ]; then
 fi
 
 set -ex
+
+npm install
+npx lerna bootstrap
+npm run build
+
 new_version="$1"
-sed -i 's/"version": ".*"/"version": "'$new_version'"/' package.json
-npm i
+sed -i 's/"version": ".*"/"version": "'$new_version'"/' vscode-lean4/package.json
 git commit -am "Release $new_version"
 git tag -a v$new_version -m "vscode-lean4 $new_version"
 
-npx vsce publish
+npx lerna exec --scope=lean4 npx -- vsce publish
 
-npx ovsx publish
+npx lerna exec --scope=lean4 npx -- ovsx publish
 
 git push
 git push --tags
 
-npx vsce package
-hub release create -m "vscode-lean4 $new_version" v$new_version -a lean4-$new_version.vsix
+npx lerna run --scope=lean4 package
+hub release create -m "vscode-lean4 $new_version" v$new_version -a vscode-lean4/lean4-$new_version.vsix

vscode-lean4/package.json

@@ -357,7 +357,7 @@
 	"main": "./out/extension",
 	"scripts": {
 		"vscode:prepublish": "webpack --env production",
-		"build": "webpack --env development",
+		"build": "webpack --env production",
 		"watch": "webpack --env development --watch",
 		"lint": "eslint -c ./.eslintrc.js ./src/**/*.ts",
 		"package": "vsce package"