#!/usr/bin/env bash
set -euo pipefail

if ! type bat > /dev/null
then
    echo "Error: \$PATH appears to lack bat. Please install it to use isabat."
    exit 1
fi

if [ $( bat --list-languages | grep Isabelle | wc -l) -eq 0 ]
then
    echo "Error: your installation of \`bat\` lacks a syntax highlighter for Isabelle."
    echo ""
    echo "Please place the isabelle.sublime-syntax file in $( bat --config-dir)/syntaxes,"
    echo "then run \`bat cache --build\` to make it available to bat."
    exit 1
fi


if [ $# -eq 0 ]
then
    echo "isabat: pretty-print isabelle theories on a terminal using bat."
    echo ""
    echo "please provide a .thy file to display."
    exit 1
fi

cat "$1" | isabelle2unicode | bat --file-name "$1" --theme TwoDark