2021-02-26 20:13:02 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
function fetch() {
|
2021-11-02 16:58:19 +01:00
|
|
|
if [[ "$3" != "" ]]; then
|
|
|
|
fn="$3"
|
|
|
|
else
|
|
|
|
fn="$1"
|
|
|
|
fi
|
|
|
|
"./fetch_$1.sh" "$2" | json_reformat -m > "$fn.json.tmp"
|
|
|
|
rm -f "$fn.json"
|
|
|
|
mv "$fn.json.tmp" "$fn.json"
|
2021-02-26 20:13:02 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
fetch streets
|
|
|
|
fetch city_outlines
|
2021-11-02 16:58:19 +01:00
|
|
|
fetch trainlines "Train Lines"
|
|
|
|
fetch trainlines "Access Paths" trainlines_access
|
|
|
|
fetch bodiesofwater "Rivers" rivers
|
|
|
|
fetch bodiesofwater "Oceans, Seas, and Lakes" oceans
|