Welcome to the Theia playground!
Go ahead and have fun with the playground, if you find something off, let the author know at GitHub.
Happy coding!

Steps
Theia Playground
Quick Notes
Go ahead and browse the IDE at https://[[HOST_SUBDOMAIN]]-3000-[[KATACODA_HOST]].environments.katacoda.com/.
if you have any services running in other ports, you may browse https://[[HOST_SUBDOMAIN]]-[[KATACODA_HOST]].environments.katacoda.com/ and select the port on where the service runs.
We use ubuntu for this environment, so if you want to install something, for example, build-essential
,
do it like this:
sudo apt install build-essential
If you find any errors regarding the playground, please open an issue.
If you find any issues with theia
, let the developers know at the project repository.
Happy coding~!