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
{{ message }}
This repository has been archived by the owner on Jan 20, 2023. It is now read-only.
Description
We initially tried to install the theia-csharp-extension which does not work yet correctly / at all.
So we stumbled over this plugin as alternative.
We installed it manually and fortunately it worked perfectly (although the popup sometimes takes a few seconds).
The setup was quite easy, like 1. creating a plugin directory, 2. placing this plugin either compressed as .theia file or uncompressed into the plugin directory, 3. starting theia with an additional commandline argument telling it where to load additional plugins.
What's Expected
Here is a brief info, how we used this extension in our docker container:
Description
We initially tried to install the theia-csharp-extension which does not work yet correctly / at all.
So we stumbled over this plugin as alternative.
We installed it manually and fortunately it worked perfectly (although the popup sometimes takes a few seconds).
The setup was quite easy, like 1. creating a plugin directory, 2. placing this plugin either compressed as .theia file or uncompressed into the plugin directory, 3. starting theia with an additional commandline argument telling it where to load additional plugins.
What's Expected
Here is a brief info, how we used this extension in our docker container:
Tool versions
yarn: 1.16.0
npm: 6.7.0
node: v11.15.0
os: Ubuntu 18.04.2 LTS Desktop
The text was updated successfully, but these errors were encountered: