Skip to content
Snippets Groups Projects
Select Git revision
  • d5acca9507d5a71510bf96aa07c938e5d2704192
  • 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-plugins

Name Last commit Last update
..
deadlock-extension
README.md

Contient une liste de dossier des extensions à construire pour ajouter à Theia pendant la phase de build. Chaque dossier d'extension doit contenir un fichier install.sh et build.sh qui doivent contenir respectivement la façon d'installer les dépendances et les executions pour construire le plugin, c'est à dire créer un fichier vsix à la fin.

Chaque fichier build.sh sera appelé avec comme premier argument le tag en cours.