読者です 読者をやめる 読者になる 読者になる

PDFの自動再読み込み

beamerを使った場合dviではなくpdfでプレビューを見たくなる.
ところが,dviの場合は

pxdvi -watchfile 1 hoge.dvi

で自動的に1秒後とに再読み込みをしてくれるが,pdfの場合はやり方が分からなかったので調べてみた.



とりあえずacroreadを使う方法は分からなかったので,xpdfを使う方法.
やり方は,とりあえず,

sudo apt-get install xpdf xpdf-japanese

でxpdfを入れる.

あとは,

xpdf -remote hoge filename.pdf

でxpdfを開いた状態で

xpdf -reload -remote hoge

を叩けば,リロードしてくれる.



まだ面倒なので,コンパイルとプレビューの再読み込みを全て1つにまとめたスクリプトを作った.

#!/bin/bash
pdf=$1
xpdf -remote $pdf $pdf &
while true; do
      sleep 3
      if [ "`make $pdf -n -s`" ] ; then
          LANG=C make $pdf
          xpdf -reload -remote $pdf
      fi
done

これで,とても楽になった.