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

setup_trace.py

Blame
  • generate_test_recorder.sh 893 B
    #!/bin/bash
    
    # this command is ran from the root of the deadlock-extension
    #   given one argument (the path to the mission directory)
    
    
    # generate the recorder
    cd src/recorder/ || (echo "src/recorder/ not found! Are you running from deadlock extension directory?" && return 1)
    npm install
    cd ../../
    npm run build-recorder
    
    # remove container
    docker rm -f test-recorder
    
    # if you want to delete the image, uncomment the following line
    # docker rmi "$(docker images | grep 'registry.takima.io/deadlock/deadlock-challenges/code_desktop_exemple')"
    
    PP=(docker run --name test-recorder --privileged
        -v \""$1"/.config\":\"/home/config/\"
        -v \""$1"/mounted\":\"/home/deadlock/mission/\"
        -v \""$HOME"/.deadlock/.ssh\":\"/tmp/.ssh\"
        -v \""$(pwd)"/out/recorder.js\":\"/deadlock/recorder.js\"
        registry.takima.io/deadlock/deadlock-challenges/code_desktop_exemple:0.1)
    
    eval "${PP[*]}"