https://github.com/devzolo/docker-theia

https://github.com/devzolo/docker-theia

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/devzolo/docker-theia
• Owner: devzolo
• License: mit
• Created: 2020-04-09T20:46:57.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-04-17T05:46:54.000Z (almost 6 years ago)
• Last Synced: 2025-12-27T16:19:45.009Z (3 months ago)
• Language: Dockerfile
• Size: 2.93 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          


  



What is THEIA?

--------------

Cloud & Desktop IDE Platform

Eclipse Theia is an extensible platform to develop multi-language Cloud & Desktop IDEs with state-of-the-art web technologies.

For more information and related downloads for THEIA, please visit .

Supported Tags and Respective Dockerfile Links

----------------------------------------------

-   THEIA (tag: [`latest`](https://github.com/devzolo/docker-theia/blob/master/Dockerfile)) ([devzolo/theia/Dockerfile](https://github.com/devzolo/docker-theia/blob/master/Dockerfile))

How to Use the THEIA Images

---------------------------

### Downloading a THEIA Docker Image

Downloading the server image in a separate step is not strictly necessary; however, performing this before you create your Docker container ensures your local image is up to date.

To download the THEIA image, run this command:

    shell> docker pull devzolo/theia:tag

 

Refer to the list of supported tags above. If `:tag` is omitted, the `latest` tag is used, and the image for the latest version of THEIA is downloaded.