diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2015-04-27 13:27:41 +0200 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2015-04-27 13:27:41 +0200 |
commit | 1755444996f7f3f4ac15aa9e99cfc3a00c42a025 (patch) | |
tree | 0e887e428ae70327e81f635927293a3deec506fd | |
parent | 984e06dc262ac2a78ad18b8e307b1577cb2a7630 (diff) |
sed when normalizing flags might take some seconds. Report, what we're waiting for.
-rwxr-xr-x | makecolumns.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/makecolumns.sh b/makecolumns.sh index 8337b12..93d2e15 100755 --- a/makecolumns.sh +++ b/makecolumns.sh | |||
@@ -187,7 +187,9 @@ handle_format_version_2() { | |||
187 | [ -f 14_unknown ] && mv 14_unknown 14_Email | 187 | [ -f 14_unknown ] && mv 14_unknown 14_Email |
188 | [ -f 15_unknown ] && mv 15_unknown 15_Webadresse | 188 | [ -f 15_unknown ] && mv 15_unknown 15_Webadresse |
189 | 189 | ||
190 | printf "Normalizing flags ..." | ||
190 | sed -i '' -e s:^1$:00:g -e s:^3$:01:g -e s:^2$:02:g 01_Flags | 191 | sed -i '' -e s:^1$:00:g -e s:^3$:01:g -e s:^2$:02:g 01_Flags |
192 | printf "done.\n" | ||
191 | 193 | ||
192 | # If street names come in an extra file, extract | 194 | # If street names come in an extra file, extract |
193 | # street names first | 195 | # street names first |