]> git.openstreetmap.org Git - nominatim.git/blobdiff - nominatim/clicmd/args.py
Integrated 'collect_os_info.py' into Nominatim's CLI tool
[nominatim.git] / nominatim / clicmd / args.py
index f5f1b98eb26c0a29a3a32712ee7e63a0e2224cad..4457db5fcb457d800fd40265f8a009a7704f9ae3 100644 (file)
@@ -12,10 +12,9 @@ import argparse
 import logging
 from pathlib import Path
 
-from typing_extensions import Protocol
-
 from nominatim.errors import UsageError
 from nominatim.config import Configuration
+from nominatim.typing import Protocol
 
 LOG = logging.getLogger()
 
@@ -77,6 +76,7 @@ class NominatimArgs:
     warm: bool
     check_database: bool
     migrate: bool
+    collect_os_info: bool
     analyse_indexing: bool
     target: Optional[str]
     osm_id: Optional[str]