Shell & sed script to generate a graphviz file with agda dependencies

makeAgdaDepGraph.sh

#!/bin/bash
set -e
echo "digraph {"

# Generate the node names.
find . -iname '*.agda' '!' -name '.*' |
    sed -Ee 's,^\./,,;s,.agda$,,;s,/,.,g;s/.*/"&" [label="&"];/'

# Generate edges.
find . -iname '*.agda' '!' -name '.*' |
    xargs egrep -o 'import [[:alnum:].]+' |
    sed -Ee 's,^\./,",; s,\.agda,,; s,/,.,g; s,:import ," -> ",; s,$,";,'

echo "}"