In [1]:
import json

In [2]:
with open('geoJson/all_atlases.geojson','r') as fp:
    dataset = json.load(fp)

In [5]:
"{:0>9}".format(6)


Out[5]:
'000000006'

In [10]:
for f in dataset['features']:
    f['properties']['HOLLIS'] = "{:0>9}".format(f['properties']['HOLLIS'])

In [12]:
with open('geoJson/all_atlases.geojson','w') as fp:
    json.dump(dataset,fp,indent=2,sort_keys=True)

In [4]:
for f in dataset['features']:
    with open('geoJson/{}.geojson'.format(f['properties']['UNIQUE_ID']),"w") as fp:
        json.dump(f,fp)