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

start.desktop.sh

Blame
  • start.desktop.sh 580 B
    #!/bin/sh
    
    ON_START_UP_FILE="/deadlock/startup.sh"
    TAG="[DEADLOCK]"
    
    # Start docker in docker
    dockerd-entrypoint.sh $@ &
    
    # setup ssh key for root user
    # must be installed by the API first within /tmp/.ssh
    mkdir ~/.ssh
    cp /tmp/.ssh/* ~/.ssh/
    
    # start init mission script if exists
    if [ -f "$ON_START_UP_FILE" ]; then
        echo
        echo "$TAG Startup your script.."
        echo
        /bin/bash $ON_START_UP_FILE &
    else
        echo
        echo "$TAG No startup script found."
        echo
    fi
    
    
    su deadlock -c "sudo python /setup_trace.py"
    
    
    # start command recorder
    node deadlock/recorder.js