3 # This script will run the load-save-session.sh script over each session in a
4 # directory containing session directories.
6 # This script only supports the default option of the load-save-session.sh
7 # script, so no valgind or gdb options as it isn't useful on more than a single
8 # session at a time, use load-save-session.sh directly for that.
11 if [ "$DIR_PATH" == "" ]; then
12 echo "Syntax: load-save-session-collection.sh <session collection dir>"
16 for SESSION_DIR in `find $DIR_PATH -mindepth 1 -maxdepth 1 -type d`; do
17 ./load-save-session.sh $SESSION_DIR