Skip to content

Instantly share code, notes, and snippets.

Avatar
🎯
Focusing

Antonio Lima themiurgo

🎯
Focusing
View GitHub Profile
@themiurgo
themiurgo / merge-geojsons.py
Last active Jan 14, 2020 — forked from migurski/merge-geojsons.py
Merge two or more geojson files.
View merge-geojsons.py
#!/usr/bin/env python
from json import load, JSONEncoder
from argparse import ArgumentParser, FileType
from re import compile
import sys
float_pat = compile(r'^-?\d+\.\d+(e-?\d+)?$')
charfloat_pat = compile(r'^[\[,\,]-?\d+\.\d+(e-?\d+)?$')
You can’t perform that action at this time.