2020-04-26 17:30:59 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
2022-05-12 19:11:17 +02:00
|
|
|
source common.sh
|
|
|
|
|
2020-04-26 17:30:59 +02:00
|
|
|
function fetch() {
|
2021-03-22 18:01:32 +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"
|
2020-04-26 17:30:59 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
fetch streets
|
|
|
|
fetch city_outlines
|
2021-03-22 18:01:32 +01:00
|
|
|
fetch trainlines "Train Lines"
|
|
|
|
fetch trainlines "Access Paths" trainlines_access
|
|
|
|
fetch bodiesofwater "Rivers" rivers
|
|
|
|
fetch bodiesofwater "Oceans, Seas, and Lakes" oceans
|