| #!/usr/bin/env bash |
| |
| SCRIPT_SRC="$(realpath ${BASH_SOURCE[0]})" |
| SCRIPT_DIR="$(dirname "${SCRIPT_SRC}")" |
| |
| source $SCRIPT_DIR/common.sh |
| |
| if [ -z "$OUTPUT_DIRECTORY" ]; then |
| if [ ! -z "$1" ]; then |
| OUTPUT_DIRECTORY=$1 |
| else |
| msg "No \$OUTPUT_DIRECTORY set or argument given." |
| exit 1 |
| fi |
| fi |
| |
| # Run pngcrush on all the png files. |
| msg "Fixing GDS metadata." |
| find $OUTPUT_DIRECTORY -name \*.gds -print | parallel -v $SCRIPT_DIR/change_gds_date.py 1 0 \{\} ; RETCODE=$? |
| if [ "$RETCODE" -ne 0 ]; then |
| msg "Error: Failed to fix GDS metadata!?" |
| exit 1 |
| else |
| msg "Successfully fixed GDS metadata." |
| fi |
