Gitpod: Unable to find the installed EditorConfig extension

[nisarhassan12]

Describe the bug

I have the following in .gitpod.yml but I don't see it installed in the extensions tab.

- [email protected]:EjFaoTaOf8wRmwR0LNY51A==                                              

This is what I get in the console:

Also, I don't see it in the BUILT-IN tab-pane.

Steps to reproduce

I have tried installing the EditorConfig extension via dragging and dropping the .vsix file.

I have tried refreshing + starting a new workspace but It does not help.

Expected behavior

Additional information

Example repository

https://gitpod.io/#https://github.com/nisarhassan12/mobx

[Kreyren]

Same issue here, looks like theia bug to me?

[Kreyren]

@nisarhassan12 Seems that this extension is already built-in? So i assume that the failure caused by installing the duplicate in theia?

[akosyakov]

Yes, it is a bug, if you try install built-in extension as a workspace extension of exactly the same version then it is INSTALLED, but not displayed as a workspace extension.