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

extension.ts

Blame
    • build-recorder.sh 318 B
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19 
    

    

    

    #!/bin/sh

set -e

OUTPUT_DIR='recorder-out'

cd ./deadlock-plugins/deadlock-extension/

npm install
npm run build-recorder
npm run build-preStop

cd -
mkdir -p $OUTPUT_DIR
cp -r ./deadlock-plugins/deadlock-extension/out/recorder.js $OUTPUT_DIR
cp -r ./deadlock-plugins/deadlock-extension/out/preStop.js $OUTPUT_DIR