Deadlock Theia projet basé sur notre propre image de Theia https://git.e-biz.fr/deadlock-public/theia. Plusieurs éléments ajoutés à l'image de base :
- Deadlock plugins (deadlock-plugins/)
- Outil d'enregistrment, qui permet d'enregistrer le code quand un utilisateur exécute du code (deadlock(plugins/recorder))
Construire les plugins :
./build-plugins.sh
Tous les plugins qui se trouvent dans deadlock-public vont être construit en .vsix puis placés
dans plugins/ (ex: deadlock-plugins/deadlock-extension).
Il est aussi possible d'ajouter directement des plugins .vsix en ajoutant le fichier dans plugins/
Construire le recorder :
Utilisation du webpack présent dans recorder-out/ par défaut.
./build-recorder.sh
Construire l'image Deadlock Theia avec le recorder et les plugins
./build.sh VERSION
Requirements:
- NodeJS > 14.X
- Vscode ou Vscodium
- Docker
Ce projet contient le minimum pour construire une image Docker Theia avec Blueprint (https://theia-ide.org/docs/composing_applications/)