From f39f859b92bcdbfe2d176ec4d0c367157cf7cf67 Mon Sep 17 00:00:00 2001
From: David Runge <dave@sleepmap.de>
Date: Sun, 15 Feb 2015 18:21:22 +0100
Subject: tex2pdf: Choosing mupdf over evince.

---
 bin/tex2pdf | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'bin/tex2pdf')

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
-- 
cgit v1.2.3-54-g00ecf