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 : 1. Deadlock plugins (deadlock-plugins/) 2. 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: 1. NodeJS > 14.X 2. Vscode ou Vscodium 3. Docker Ce projet contient le minimum pour construire une image Docker Theia avec Blueprint (https://theia-ide.org/docs/composing_applications/)