ludmann/theia-ide

Theia IDE Docker镜像

支持的标签及对应Dockerfile链接

• https://github.com/corneliusludmann/theia-docker/blob/master/heavy/Dockerfile
• https://github.com/corneliusludmann/theia-docker/blob/master/heavy/Dockerfile
• https://github.com/corneliusludmann/theia-docker/blob/master/light/Dockerfile
• https://github.com/corneliusludmann/theia-docker/blob/master/light/Dockerfile
• https://github.com/corneliusludmann/theia-docker/blob/master/heavy/Dockerfile
• https://github.com/corneliusludmann/theia-docker/blob/master/heavy/Dockerfile
• https://github.com/corneliusludmann/theia-docker/blob/master/light/Dockerfile
• https://github.com/corneliusludmann/theia-docker/blob/master/light/Dockerfile

什么是Theia IDE？

https://github.com/eclipse-theia/theia 是一个可扩展的平台，用于使用先进的Web技术开发成熟的多语言云及桌面IDE类产品。

参考链接：

• Theia IDE官网
• https://hub.docker.com/r/theiaide/theia/

关于本Theia IDE镜像

镜像变体

light vs heavy

本仓库的Theia IDE镜像提供两种版本：

• light：基于Alpine的基础镜像，支持JSON、XML等常见文件语法。
• heavy：基于Arch Linux的功能丰富镜像，支持多种语言和最新开发工具（详见https://github.com/corneliusludmann/theia-docker/tree/master/heavy/archpks）。欢迎通过PR贡献更多语言或工具支持！

两种镜像均预装部分VSCode兼容插件，列表见https://github.com/corneliusludmann/theia-docker/blob/master/light/plugins.txt和https://github.com/corneliusludmann/theia-docker/blob/master/heavy/plugins.txt，可通过PR提议添加更多插件。

latest vs next

Theia IDE提供两个版本：latest为稳定版（不定期发布），next为从Theia master分支自动构建的版本（通常也稳定）。每种镜像变体均有对应latest和next标签。

时间戳标签

每次构建会额外添加时间戳前缀（YYYYMMDD-HHMMSS），便于固定特定版本或回滚。

核心功能

• fixuid：调整容器内用户和组ID以匹配主机用户ID，解决文件权限问题。运行时需指定-u <userid>:<groupid>（如-u $(id -u):$(id -g)）。
• tini：作为init进程，支持用Ctrl + C停止容器。
• sudo：heavy版本提供无密码sudo权限，可通过挂载remove-sudo.sh脚本移除（-v /path/to/remove-sudo.sh:/entrypoint.d/）。

使用场景

• 快速搭建Web IDE用于个人开发。
• 团队统一开发环境，避免环境差异问题。
• 临时开发环境，无需本地安装复杂工具。

配置说明

基本运行命令

shell
docker run -p 3000:3000 -u $(id -u):$(id -g) -v $(pwd):/workspace docker.xuanyuan.run/ludmann/theia-ide

参数解释：

• -p 3000:3000：映射容器3000端口到主机，用于访问Web IDE。
• -u <userid>:<groupid>：设置容器内Theia用户的ID，匹配主机用户以解决权限问题。
• -v <主机工作区路径>:/workspace：挂载主机目录到容器内工作区。

运行后，在浏览器访问http://localhost:3000即可使用。

扩展方式

1. entrypoint扩展：将Shell脚本挂载到/entrypoint.d/目录，容器启动时会自动执行。
2. 终端扩展：将Shell脚本挂载到/home/theia/.bashrc.d/目录，每次打开终端时执行。
3. 插件扩展：将VSCode插件挂载到/opt/theia/plugins/目录（部分插件可能不兼容）。

自动构建流程

镜像托管于Docker Hub的https://hub.docker.com/r/ludmann/theia-ide，通过以下方式自动构建：

• 本仓库每次推送时触发构建。
• 官方Theia GitHub仓库更新时，通过GitLab镜像仓库触发Docker Hub构建。
• 每次构建生成latest、next及时间戳标签，便于版本管理。

查看与贡献

欢迎在Gitpod中打开本仓库（基于Theia的一键Web IDE）：

许可证

本仓库基于https://github.com/corneliusludmann/texlive-docker/blob/master/LICENSE授权。