8 lines
394 B
Bash
Executable File
8 lines
394 B
Bash
Executable File
sudo -u postgres -i sh -c "dropdb ag_gen" || true
|
|
sudo -u postgres -i sh -c "createdb ag_gen ag_gen"
|
|
psql ag_gen < schema.sql
|
|
./ag_gen -n ../car_examples/generic_timeline_maintenance.nm -x ../car_examples/generic_timeline_maintenance.xp -g DOTFILE.dot -t 1 -q 1
|
|
# python3 ../tools/color_code.py ../build/states.txt DOTFILE.dot new.dot
|
|
#dot -Tsvg new.dot > ag.svg
|
|
dot -Tsvg DOTFILE.dot > ag.svg
|