abstreet/data/grab_seed_data.sh

#!/bin/bash
# Run from the base repo directory: ./data/grab_seed_data.sh

set -e

curl -L -o seed_data.zip https://www.dropbox.com/s/3zkf5w6zhwvbif5/seed_data.zip?dl=0
rm -rf data/input data/system
unzip seed_data.zip
rm -f seed_data.zip
start a script to package data, stick it in dropbox, suck it down for fast bootstrapping. split off developer instructions. not finished, because I need a better connection to upload the seed data and test everything... 2019-12-04 01:31:00 +03:00			`#!/bin/bash`
			`# Run from the base repo directory: ./data/grab_seed_data.sh`

			`set -e`

finalize seeded data script. fixes #3, now the initial dev experience is much easier 2019-12-04 03:36:30 +03:00			`curl -L -o seed_data.zip https://www.dropbox.com/s/3zkf5w6zhwvbif5/seed_data.zip?dl=0`
start a script to package data, stick it in dropbox, suck it down for fast bootstrapping. split off developer instructions. not finished, because I need a better connection to upload the seed data and test everything... 2019-12-04 01:31:00 +03:00			`rm -rf data/input data/system`
			`unzip seed_data.zip`
			`rm -f seed_data.zip`