We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
If a repository recommends extensions to be installed via extensions.json, Theia blueprint does not suggest to install them.
Checkout a repository with recommended extensions, e.g. https://github.com/eclipse-theia/theia No recommendations are shown. Should suggest eslint, see https://github.com/eclipse-theia/theia/blob/master/.vscode/extensions.json
The text was updated successfully, but these errors were encountered:
@JonasHelming it should be available when bumping the theia version eclipse-theia/theia#9043.
Sorry, something went wrong.
Great! Let us leave this open until then, I assigned a label to keep track
Closed thanks to #141.
@vince-fugnitto : Have you verified this in the Blueprint build or only upstream?
During the review, please feel free to confirm as well: #141 (review).
I have not re-tested this, but I have confirmed that the new Blueprint installers, based on Theia v1.16.0, were correctly deployed. (linux: https://www.eclipse.org/downloads/download.php?file=/theia/latest/linux/TheiaBlueprint.AppImage&r=1)
jfaltermeier
No branches or pull requests
Bug Description:
If a repository recommends extensions to be installed via extensions.json, Theia blueprint does not suggest to install them.
Steps to Reproduce:
Checkout a repository with recommended extensions, e.g. https://github.com/eclipse-theia/theia
No recommendations are shown.
Should suggest eslint, see https://github.com/eclipse-theia/theia/blob/master/.vscode/extensions.json
The text was updated successfully, but these errors were encountered: