search

newsnowlabs / dockside

Develop, stage and test on-prem or in your private cloud. Dockside is a tool for provisioning lightweight access-controlled IDEs, staging environments and sandboxes - aka 'devtainers' - on local machine, on-premises raw metal or VM, or in the cloud
https://dockside.io/
Apache License 2.0
255 stars 17 forks source link

Fix issue with GitLens extension not working #20

Closed MarkFitzpatrickNN closed 10 months ago

MarkFitzpatrickNN commented 11 months ago

Currently GitLens is not working. Previously this was working as expected but stopped since the update of theia to version 1.40.

Replication steps

  1. Open a new devtainer
  2. Go to the extensions tab
  3. Search for GitLens
  4. Click install
  5. The gitlens tab will automatically be open but be missing its icon.
  6. An error will appear when you hover over the tab saying something similar to … server IP address could not be found.

Screenshot 2023-10-09 at 11 42 15

struanb commented 10 months ago

As we believe this issue is actually fixed in the latest release of Dockside, we are closing this.