menu
Channels
Team

Is there any user manual or tutorial on using Theia?

June 9, 2020 at 8:14am

Is there any user manual or tutorial on using Theia?

June 9, 2020 at 8:14am
I'm looking for some user guide or tutorial on using Theia. I mean for the end-user and not for extension developer. If there isn't something like this, can we make some contribution?

June 9, 2020 at 10:54am
Hi Ido. All docs are here: https://theia-ide.org/docs/ If someone adds user manual it would be very helpful.
  • reply
  • like
You can start by filing an issue here: https://github.com/theia-ide/theia-website
  • reply
  • like

June 10, 2020 at 3:09pm
Thanks Anton. I also found some basic documentation on git & search on the gitpod docs https://www.gitpod.io/docs/ide/
  • reply
  • like