eclipse/che theia图像基于theia的特定版本。当我们等不及下一个Theia版本时，如何包括对当前版本的更改？
每个版本都有补丁假设您想要修补0.3.12版本您将修补程序放在dockerfiles/theia/src/patches/0.3.12文件夹中，并将修补程序命名为001-this-is-my.patch、002-another.patch
对于0.3.13，补丁将进入dockerfiles/theia/src/patches/0.3.13等