You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

21 lines
493 B

#!/bin/bash
if [ $# -lt 1 ]; then
echo "missing json filename"
exit 1
fi
OUTPUT=`vm/strategy0.hs -f $1`
if [ $? -eq 0 ]; then
read -p "Are you sure? [y/n]" -n 1 -r
echo
if [[ $REPLY =~ ^[Yy]$ ]]; then
echo "submitting solution"
exit 1
curl --user :2aaFCkjNIDHAsAIh9iQHc+Y+FGhkM5Z0RQgpO6TL6EA= -X POST -H "Content-Type: application/json" \
-d $OUTPUT \
https://davar.icfpcontest.org/teams/235/solutions
else
echo "abort submission"
fi
else
echo "error in vm execution"
fi