abstreet/data/package_for_devs.sh

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

set -e

if [ "$USER" != "dabreegster" ]; then
	echo "Only Dustin runs this script, to help new developers avoid a long data import process.";
	exit 1;
fi

zip -r seed_data data/input data/system
mv -fv seed_data.zip ~/Dropbox
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/package_for_devs.sh`

			`set -e`

			`if [ "$USER" != "dabreegster" ]; then`
			`echo "Only Dustin runs this script, to help new developers avoid a long data import process.";`
			`exit 1;`
			`fi`

			`zip -r seed_data data/input data/system`
start a standalone ezgui example 2020-03-04 03:24:27 +03:00			`mv -fv seed_data.zip ~/Dropbox`