Skip to content
Snippets Groups Projects
Commit 2d27bbf5 authored by Alex's avatar Alex
Browse files

chore: upgrade java plugin to 0.21.0

parent 9f914ed2
Branches
Tags
1 merge request!5feat: users can have their own Git repo that will be persisted
Pipeline #14207 failed
...@@ -20,7 +20,7 @@ Utilisation du webpack présent dans `recorder-out/` par défaut. ...@@ -20,7 +20,7 @@ Utilisation du webpack présent dans `recorder-out/` par défaut.
`./build.sh VERSION` `./build.sh VERSION`
# Requirements: # Requirements:
1. NodeJS > 14.X 1. NodeJS > ^14.X
2. Vscode ou Vscodium 2. Vscode ou Vscodium
3. Docker 3. Docker
......
...@@ -9,4 +9,6 @@ echo "Build Java pack" ...@@ -9,4 +9,6 @@ echo "Build Java pack"
echo echo
npm install npm install
npm run build npm run build
npx vsce package npx vsce package
\ No newline at end of file
cp *.vsix ../
\ No newline at end of file
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
set -e set -e
VERSION=0.18.7 VERSION=0.21.0
NAME="vscode-java-pack" NAME="vscode-java-pack"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment