Theia ne supporte plus les versions Docker (https://github.com/eclipse-theia/theia/issues/10261) Nous maintenons une version précise avec les packages donc nous avons besoin sous $VERSION.package.json
Pour construire une image Docker de Theia : ./build.sh VERSION
Ceci va prendre le fichier VERSION.package.json et construire une image theia:$VERSION