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

deadlockPanel.ts

Blame
  • build.sh 584 B
    #!/bin/sh
    
    set -e
    
    TAG=${1:-latest}
    VERSION=${2:-code}
    REGISTRY=$3
    
    DOCKERFILE="Dockerfile.$VERSION"
    
    echo "Building Dockerfile.$VERSION"
    
    echo '====================================================='
    echo '================= BUILDING RECORDER ================='
    echo '====================================================='
    ./build-recorder.sh
    
    echo '====================================================='
    echo '=============== BUILDING DOCKER IMAGE ==============='
    echo '====================================================='
    
    docker build -f $DOCKERFILE . -t $REGISTRY/$VERSION:$TAG