From 3a5f406ff59a05c0eddda191127d58b39cb8049b Mon Sep 17 00:00:00 2001 From: cassiopc Date: Wed, 24 Oct 2012 09:56:07 +0200 Subject: open dir for 1.5.2. I still must split devel and master in different branches to properly use git... --- boca-1.5.2/doc/problemexamples/gen_examples.sh | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100755 boca-1.5.2/doc/problemexamples/gen_examples.sh (limited to 'boca-1.5.2/doc/problemexamples/gen_examples.sh') diff --git a/boca-1.5.2/doc/problemexamples/gen_examples.sh b/boca-1.5.2/doc/problemexamples/gen_examples.sh new file mode 100755 index 0000000..6f11671 --- /dev/null +++ b/boca-1.5.2/doc/problemexamples/gen_examples.sh @@ -0,0 +1,17 @@ +#!/bin/bash +if [ "$1" == "" ]; then + echo "CREATING FILES WITHOUT PASSWORDS" + for i in `ls`; do + if [ -d $i ]; then + cd $i; zip -r ../$i.zip .; cd -; + fi + done +else + echo "USING ARGUMENT AS PASSWORD" + rm -f keys.txt + for i in `ls`; do + if [ -d $i ]; then + ../../src/private/createproblemzip.php "$i" "$i.zip" "$1" | grep -A2 "The following line" | tail -n1 >> keys.txt + fi + done +fi -- cgit v1.2.3