Skip to content
Snippets Groups Projects
Select Git revision
  • ce9726ffa02c8910ac698ac05670522c2b1fb0a4
  • master default protected
  • docs-improve_user_path_description
  • fix-pipeline
  • ci-change_exercises_image_registry
  • feat-merge_recorder_in_extension
  • feat-default_folder
  • feat-change_user
  • develop protected
  • refactor-mission
  • feat-exercise_automatic_save
  • docs-improve_documentation
  • feat-create_little_container_for_developer
  • feat-local-dev
  • 0.1.12
  • 0.1.11
  • 0.1.10
  • 0.1.5
18 results

README.md

Blame
    • user avatar
    docs: complete with instructions
    Alex authored and Alex committed
    70b671af
    History
    user avatar 70b671af
    History
    README.md 1.03 KiB

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