Skip to content
Snippets Groups Projects
Select Git revision
  • c114dc182707104cb896d3ef125b7f66ee21f72a
  • master default protected
  • feat-create_little_container_for_developer
  • feat/pipeline_publish_extension
  • feat-publish_extension_on_marketplace_with_ci
  • feat-log-in
  • feat-connect_uri_handler_with_chosse_workdir_and_connection
  • feat-choose-mission-workdir
  • 10-en-tant-qu-etudiant-je-souhaite-pouvoir-lancer-une-mission-de-type-vscode-desktop-sur-mon-ide
  • new-building-way-recorder
  • fix-commit-any-challenge-type
  • recorder-push-code
  • theia-extension
  • 0.1.2
  • 0.1.1
  • 0.0.6
  • 1.4
  • 1.3
  • 1.2
  • 1.1
20 results

deadlock-theia

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/)