diff options
Diffstat (limited to 'bin/tex2pdf')
| -rwxr-xr-x | bin/tex2pdf | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/bin/tex2pdf b/bin/tex2pdf index 6eaaef6..fd99224 100755 --- a/bin/tex2pdf +++ b/bin/tex2pdf @@ -1,5 +1,6 @@ #!/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 @@ -18,8 +19,14 @@ echo "################## pdflatex, run #3 #################">>$logdestination echo "#####################################################">>$logdestination pdflatex -interaction=nonstopmode $1.tex>>$logdestination echo "#####################################################">>$logdestination -echo "Launching evince with $1.pdf.">>$logdestination -evince $1.pdf & +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 |