diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2015-05-18 15:20:57 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2015-05-18 15:20:57 +0200 |
| commit | 43e46bb3a032001c098a034f1596c1750689f58a (patch) | |
| tree | 72a9236b2c81e728e2f81378e9e1bbaecadeb48f | |
| parent | 946465e80e38899fd1250a1ede7c4b9161651fcf (diff) | |
Fixup known borken street list
| -rwxr-xr-x | makecolumns.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/makecolumns.sh b/makecolumns.sh index b128b46..8131379 100755 --- a/makecolumns.sh +++ b/makecolumns.sh | |||
| @@ -256,6 +256,10 @@ handle_format_version_3() { | |||
| 256 | if [ -f 99_Strassenname ]; then | 256 | if [ -f 99_Strassenname ]; then |
| 257 | mv 07_unknown 07_Strassenindex | 257 | mv 07_unknown 07_Strassenindex |
| 258 | printf "Looking up street names from indexes ... " | 258 | printf "Looking up street names from indexes ... " |
| 259 | |||
| 260 | # fix up known broken Strassennamen file | ||
| 261 | [ `stat -f %z ${streets}` -eq 1642716 ] && printf '9. Str.\n91. Str.\n91er-Str.\n' >> 99_Strassenname | ||
| 262 | |||
| 259 | cut -d ';' -f 1 07_Strassenindex | ${EL} -0x 99_Strassenname > 07_Strasse | 263 | cut -d ';' -f 1 07_Strassenindex | ${EL} -0x 99_Strassenname > 07_Strasse |
| 260 | printf "done.\n" | 264 | printf "done.\n" |
| 261 | else | 265 | else |
