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
これで,とても楽になった.