watch_reload_dot

#!/bin/bash

set -euo pipefail

readonly dot_file="$1"
readonly output_file="$2"
readonly dot_file_abs=$(readlink -f $dot_file)

if [ ! -f $dot_file_abs ]
then
   echo "$dot_file is not a file"
   exit 1
fi

echo "$(date) start watch compile reload for $dot_file"
watchmedo shell-command \
  --patterns '*.dot' \
  --command \
     "echo \$(date) compiling \${watch_src_path}; dot2html_with_svg $dot_file $output_file"