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

README.md

Blame
    • README.md 445 B

    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 la dépendance, c'est à dire créer un fichier vsix à la fin.

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