📝 Update fix script

This commit is contained in:
Gerber, Mike 2019-11-25 18:06:05 +01:00
parent 1c44a198af
commit b2845ad254
2 changed files with 8 additions and 8 deletions

View file

@ -1,13 +1,13 @@
#!/bin/sh
#!/bin/bash
set -e
tmp_fg=FIXED_$RANDOM
ocrd_repair_inconsistencies -I OCR-D-GT-PAGE -O $tmp_fg
for f in $tmp_fg/*; do
g="OCR-D-GT-PAGE/OCR-D-GT-PAGE_${f#$tmp_fg/$tmp_fg_}"
cp $f $g
for f in "$tmp_fg"/*; do
g="OCR-D-GT-PAGE/OCR-D-GT-PAGE_${f#${tmp_fg}/${tmp_fg}_}"
cp "$f" "$g"
done
ocrd workspace remove-group -rf $tmp_fg