]> 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 c976f394849be1496ca97ba320ea319dc8397ecf..4457db5fcb457d800fd40265f8a009a7704f9ae3 100644 (file)
@@ -76,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]