Skip to content
Snippets Groups Projects
Select Git revision
  • 52754156a9500dae28dd64e508cfd461a52949bf
  • 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
    feat: use new theia build
    Alex authored and Alex committed
    43dee036
    History
    user avatar 43dee036
    History
    README.md 609 B

    Requirements:

    1. NodeJS > 14.X
    2. Vscode ou Vscodium
    3. Docker

    Le projet contient actuellement :

    1. Theia, pour nous permettre de construire l'image Docker de Theia avec Blueprint (https://theia-ide.org/docs/composing_applications/) (theia/)
    2. Les plugins VsCode pour Theia (plugins/*)
    3. De quoi construire Deadlock Theia Docker (plugins/)
    4. Ce qui permet d'enregistrer le code de l'utilisateur en fonction de ses actions (recorder-out/)

    Explication des scripts :

    With lerna ?

    Cannot work for now because vsce does not support npm link:
    https://github.com/microsoft/vscode-vsce/issues/203