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
This commit was created on GitHub.com and signed with GitHub’s verified signature.
The key has expired.
Uninstalling vscode extensions (#42)
* Uninstalling vscode extensions
Our java services were not killed because they were eating too much memory, they were killed because the built-in vscode has the redhat.java extension that starts a language server, indexes everything and eating up all the memory.
The code-server --uninstall-extension <id> command only hides the extensions from the vscode UI in edukates, they are still on disk and loaded. Yepp, the language server starts even if I uninstall the extension, that's why removing the extension directories are needed.
* reordering extension folder deletions
it does not mater but this way it is in-sync with uninstall (there the order does matter)