From 1b0a939ae392e66c8e5c63afc1b6b67e384e90cd Mon Sep 17 00:00:00 2001
From: Eric Duminil <eric.duminil@gmail.com>
Date: Sat, 19 Oct 2024 21:16:40 +0200
Subject: [PATCH] Names shouldn't have spaces
---
download_files_from_LGL_BW.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/download_files_from_LGL_BW.py b/download_files_from_LGL_BW.py
index d5f20f7..f4a67f4 100644
--- a/download_files_from_LGL_BW.py
+++ b/download_files_from_LGL_BW.py
@@ -162,6 +162,8 @@ def extract_region(output_dir: Path, location_name: str, wkt: str) -> None:
def main(polygons: dict[str, str]) -> None:
"""Downloads ZIP files, extracts CityGML files, and selects desired region."""
for location_name, wkt in polygons.items():
+ if ' ' in location_name:
+ raise ValueError("Location name should not contain spaces: 'Some City' -> 'SomeCity'")
output_dir = SCRIPT_DIR / (location_name + '.proj')
output_dir.mkdir(parents=True, exist_ok=True)
x1, x2, y1, y2 = wkt_polygon_to_grid_coords(location_name, wkt)
--
GitLab