convert_to_geojson.py

import shapefile
from json import dumps
import os
from pathlib import Path

REPO_ROOT = Path(__file__).resolve().parent
shape_path = Path(
    os.getenv(
        "RESPECT_PLANH_SHAPEFILE",
        str(REPO_ROOT / "PLANH2316" / "PLANH2316.shp"),
    )
)
output_path = Path(os.getenv("RESPECT_PLANH_GEOJSON_OUT", str(REPO_ROOT / "PLANH2316.geojson")))

# read the shapefile
reader = shapefile.Reader(str(shape_path))
fields = reader.fields[1:]
field_names = [field[0] for field in fields]
buffer = []
for sr in reader.shapeRecords():
    atr = dict(zip(field_names, sr.record))
    geom = sr.shape.__geo_interface__
    buffer.append(dict(type="Feature", geometry=geom, properties=atr))

    # write the GeoJSON file

geojson = open(output_path, "w")
geojson.write(dumps({"type": "FeatureCollection", "features": buffer}, indent=2) + "\n")
geojson.close()