diff --git a/README.md b/README.md index 33bda22..9d3f19f 100644 --- a/README.md +++ b/README.md @@ -11,16 +11,16 @@ We wrote this as a one-shot script to fix some files. Use with caution. For example, use this fix script: ~~~sh -#!/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 diff --git a/examples/fix-ocr-d-gt-page.sh b/examples/fix-ocr-d-gt-page.sh index de531bf..94c155f 100644 --- a/examples/fix-ocr-d-gt-page.sh +++ b/examples/fix-ocr-d-gt-page.sh @@ -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