# download the data
wget "http://giscience.tw.rpi.edu/rpi_group_projects/watershedders/data/gas_station.geojson"

# convert the downloaded file to shapefile format
ogr2ogr -f "ESRI Shapefile" gas_station.shp gas_station.geojson

# convert the shapefile back into geojson
ogr2ogr -f "GeoJSON" gas_station2.geojson gas_station.shp

{
"type": "FeatureCollection",

"features": [

GEOGCS["GCS_WGS_1984",DATUM["D_WGS_1984",SPHEROID["WGS_1984",6378137,298.257223563]],PRIMEM["Greenwich",0],UNIT["Degree",0.017453292519943295]]

ogr2ogr -f "GeoJSON" gas_station3.geojson gas_station.geojson

# top lines of gas_station3:
{
"type": "FeatureCollection",
"crs": { "type": "name", "properties": { "name": "urn:ogc:def:crs:OGC:1.3:CRS84" } },