Skip to content
Snippets Groups Projects
Select Git revision
  • cd78877fd9f8288e9a1176ac4814c9a1e1cf0cb4
  • master default protected
  • docs-improve_user_path_description
  • fix-pipeline
  • ci-change_exercises_image_registry
  • feat-merge_recorder_in_extension
  • feat-default_folder
  • feat-change_user
  • develop protected
  • refactor-mission
  • feat-exercise_automatic_save
  • docs-improve_documentation
  • feat-create_little_container_for_developer
  • feat-local-dev
  • 0.1.12
  • 0.1.11
  • 0.1.10
  • 0.1.5
18 results

README.md

Blame
  • build-plugins.sh 463 B
    #!/bin/sh
    
    set -e
    
    CI_COMMIT_SHORT_SHA=${CI_COMMIT_SHORT_SHA:-local}
    
    for dir in deadlock-plugins/*/; do
        echo
        echo "==============================================="
        echo "Building $dir"
        echo "==============================================="
        echo
        cd $dir
        CURRENT_PLUGIN_DIR=$(basename "$PWD")
        ./install.sh
        ./build.sh CI_COMMIT_SHORT_SHA
        cp -f *.vsix ../../plugins/$CURRENT_PLUGIN_DIR-$CI_COMMIT_SHORT_SHA.vsix
        cd -
    done