#!/bin/bash logdestination="$HOME/.log/tex2pdf.log" already_open=$(ps aux | grep "$1.pdf" | grep -v "grep") rm -rf $logdestination touch $logdestination echo "tex2pdf called with $1.tex">>$logdestination echo "#####################################################">>$logdestination echo "################## pdflatex, run #1 #################">>$logdestination echo "#####################################################">>$logdestination pdflatex -interaction=nonstopmode $1.tex>>$logdestination echo "bibtex:">>$logdestination bibtex $1.aux>>$logdestination echo "#####################################################">>$logdestination echo "################## pdflatex, run #2 #################">>$logdestination echo "#####################################################">>$logdestination pdflatex -interaction=nonstopmode $1.tex>>$logdestination echo "####### ##############################################">>$logdestination echo "################## pdflatex, run #3 #################">>$logdestination echo "#####################################################">>$logdestination pdflatex -interaction=nonstopmode $1.tex>>$logdestination echo "#####################################################">>$logdestination echo "Launching mupdf with $1.pdf.">>$logdestination if [ -n "$already_open" ]; then kill "$(echo $already_open | awk '{print $2}')" echo "Killing pid $(echo $already_open | awk '{print $2}'), which has $1.pdf open already." >>$logdestination fi mupdf $1.pdf & echo "#####################################################">>$logdestination echo "Removing aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc.">>$logdestination echo "Current directory: $(pwd) and children of depth 1.">>$logdestination rm -f $1.{aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc} rm -f */*.{aux,bbl,blg,dvi,lof,log,lot,nav,out,snm,toc}