fix vsce@2.15.0 warning

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Other

269 stars 35 forks source link

fix vsce@2.15.0 warning #1119

Closed Alidra closed 3 months ago

Alidra commented 3 months ago

Replace npm install vsce by npm install vscode/vsce in the Makefile to get ride of the warnings displayed at install.

Alidra commented 3 months ago

This PR fixes the first warning related to use of vsce instead of npm install vscode/vsce so long. It is not yet clear if it is possible the two other warnings can be avoided. If so, this PR will be merged once a solution is implemented.

Alidra commented 3 months ago

I believe this PR can be merged as the remaining warnings related to deprecated packages will only be fixed by a new release of vsce that uses more up-to-date dependencies.