Theia ne supporte plus les versions Docker (https://github.com/theia-ide/theia-apps/issues/496) 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