2019-12-04 01:31:00 +03:00
|
|
|
#!/bin/bash
|
2020-02-08 02:05:24 +03:00
|
|
|
# Run from the base repo directory: ./data/grab_all_seed_data.sh
|
2019-12-04 01:31:00 +03:00
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
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
|
2019-12-04 01:31:00 +03:00
|
|
|
rm -rf data/input data/system
|
|
|
|
|
unzip seed_data.zip
|
|
|
|
|
rm -f seed_data.zip
|
2020-02-08 02:05:24 +03:00
|
|
|
# The zip clobbers the .gitignore symlinks; just let git take care of it
|
2020-03-15 22:34:23 +03:00
|
|
|
git checkout data/system data/input
|
