09133e5ea02264851249c5edb9e356cfb22066ba
[match/match.git] / program / show-graph
1 #!/bin/bash
2 set -e
3 echo "Paste the escaped graphviz string from ghci."
4 IFS='' read -r egvinput
5 eval "echo \$'$egvinput'" | dot -Tps -o thegraph.ps
6 go thegraph.ps