From ff716d1036d0c1f55ae6b75ef73ef37e93f3220d Mon Sep 17 00:00:00 2001 From: Markus Koch Date: Sun, 26 Apr 2020 17:30:59 +0200 Subject: [PATCH] Add script to update all Maps:-based jsons --- scripts/geojson/maps/update_all.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 scripts/geojson/maps/update_all.sh diff --git a/scripts/geojson/maps/update_all.sh b/scripts/geojson/maps/update_all.sh new file mode 100755 index 0000000..22b9eee --- /dev/null +++ b/scripts/geojson/maps/update_all.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +function fetch() { + "./fetch_$1.sh" | json_reformat -m > "$1.json.tmp" + rm -f "$1.json" + mv "$1.json.tmp" "$1.json" +} + +fetch streets +fetch city_outlines