From 4d2fc5e739926df775a5c592d3db64361ae572ff Mon Sep 17 00:00:00 2001
From: Markus Koch <markus@notsyncing.net>
Date: Sun, 26 Apr 2020 23:07:43 +0200
Subject: Ignore districts for now

They are not yet implemented on the map and would only clutter
the map.
---
 scripts/geojson/maps/fetch_city_outlines.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/geojson/maps/fetch_city_outlines.sh b/scripts/geojson/maps/fetch_city_outlines.sh
index c9c2b58..0e34572 100755
--- a/scripts/geojson/maps/fetch_city_outlines.sh
+++ b/scripts/geojson/maps/fetch_city_outlines.sh
@@ -9,6 +9,9 @@ for entry in $data; do
 	name=`echo "$entry" | sed -n 's/\s*\([^|]\+\).*/\1/p' | sed 's/ $//'`
 	type=`echo "$entry" | sed -n 's/\s*\([^|]\+\)||\s*\([^|]\+\).*/\2/p' | sed 's/ $//'`
 	coord=`echo "$entry" | sed -n 's/.*||\s*\([^|]\+\).*/\1/p'`
+	if [[ "$type" == "district" ]]; then
+		continue;
+	fi
 	if [[ "$name" != "" && "$coord" != "" ]]; then
 		echo "{ \"type\": \"Feature\",
 	\"geometry\": {
-- 
cgit v1.2.3