You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Installing some extensions, for example markdownlint seemingly does not complete successfully.
The dev tools show the following error
Uncaught (in promise) Error: Deployment of extension with ID vscode-extension://davidanson.vscode-markdownlint/ failed.
at A.deploy (/tmp/.mount_TheiaIKZ4bSd/resources/app/lib/backend/527.js:2:701801)
at process.processTicksAndRejections (VM34 task_queues:95:5)
at async u.onRequest (/tmp/.mount_TheiaIKZ4bSd/resources/app/lib/backend/638.js:2:52196)
at async c.handleRequest (/tmp/.mount_TheiaIKZ4bSd/resources/app/lib/backend/638.js:2:47053)
Afterwards the extension shows up both "installed" and still "installable".
Restarting Theia does not help
The extension works, i.e. I can see the markdownlint errors in Markdown files.
This is not the case for all extensions, e.g. installing ESLint worked without an issue.
Steps to Reproduce:
Open Theia IDE on Theia repo
Install recommended extensions
Observe error described above
I reproduced this on Ubuntu with the Theia IDE AppImage
Additional Information
Operating System: Ubuntu 22.04
Theia Version: 1.58.100
The text was updated successfully, but these errors were encountered:
Bug Description:
Installing some extensions, for example
markdownlint
seemingly does not complete successfully.The dev tools show the following error
Afterwards the extension shows up both "installed" and still "installable".
Restarting Theia does not help
The extension works, i.e. I can see the
markdownlint
errors in Markdown files.This is not the case for all extensions, e.g. installing
ESLint
worked without an issue.Steps to Reproduce:
I reproduced this on Ubuntu with the Theia IDE AppImage
Additional Information
The text was updated successfully, but these errors were encountered: