Michael Stangl
18 lines
616 B
Bash
18 lines
616 B
Bash
#!/bin/bash
|
|
# ================================================================
|
|
# Rechnet alle Beispiele in work/ neu durch.
|
|
# Jedes Unterverzeichnis mit einer tische.ini wird als Eingabe-
|
|
# verzeichnis an platz.py uebergeben (inkl. --tosvg fuer die SVGs).
|
|
# Zusaetzliche Argumente werden an jeden Lauf durchgereicht.
|
|
# ================================================================
|
|
|
|
source "$(dirname "${BASH_SOURCE[0]}")/setenv.sh"
|
|
|
|
for dir in "$PLATZ_WORK"/*/; do
|
|
if [ -f "${dir}tische.ini" ]; then
|
|
echo
|
|
echo "=== $(basename "$dir") ==="
|
|
python "$PLATZ_LIBS/platz.py" --indir "$dir" --tosvg "$@"
|
|
fi
|
|
done
|