diff options
Diffstat (limited to '02-graph-coloring/draw')
-rwxr-xr-x | 02-graph-coloring/draw | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/02-graph-coloring/draw b/02-graph-coloring/draw new file mode 100755 index 0000000..656c60b --- /dev/null +++ b/02-graph-coloring/draw @@ -0,0 +1,7 @@ +#! /bin/bash + +for data in ./data/*; do + echo "draw $data …" + cat $data | sed -e '1agraph G {' -e '1d; s/ / -- /; s/$/;/' -e '$a}' | dot -Tpng -o ${data}.png +done + |