diff --git a/productionLaunch.sh b/productionLaunch.sh deleted file mode 100755 index 50b47be..0000000 --- a/productionLaunch.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/bin/bash - -workingDirectory=$1 - -if [ -z "${workingDirectory}" ] || [ "$1" == "-clean" ]; then - workingDirectory=$PWD -fi - -if [ "$1" == "-clean" ] || [ "$2" == "-clean" ]; then - echo "Cleaning" - rm -rf "$workingDirectory/compiled-puzzles" - rm -rf "$workingDirectory/mothballs" - rm -rf "$workingDirectory/state" - exit -fi - -echo "Working in directory $workingDirectory" - -bash $workingDirectory/build.sh - -mkdir $workingDirectory/compiled-puzzles - -FILES=$workingDirectory/example-puzzles/* -#for f in $FILES -#do -# $workingDirectory/devel/package-puzzles.py $workingDirectory/compiled-puzzles $f -#done - -#mkdir $workingDirectory/mothballs -#cp $workingDirectory/compiled-puzzles/* $workingDirectory/mothballs - -mkdir $workingDirectory/state - -sudo docker run --rm -it -p 8080:8080 -v $workingDirectory/state:/state -v $workingDirectory/mothballs:/mothballs dirtbags/moth