DOT auto render script

dot_render.sh

function get_mtime {
  ls -l --time-style=+%s "${1?}" |  cut -d' ' -f6
}

function go_render {
  dotfile="$1"
  mtime=0
  while true;
  do
    newtime=$(get_mtime "$dotfile")
    test $mtime -ne $newtime && dot -O -Tpng $dotfile;
    mtime=$newtime
    sleep 1;
  done;
}

go_render myfile.dot &

Mi comentario anterior lo escribió Rubén Caro