On 4/3/07, <b class="gmail_sendername">Martin Bialasinski</b> <<a href="mailto:klingeling@gmail.com">klingeling@gmail.com</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
open -a Terminal<br>osascript <<-APPLESCRIPT<br>        tell application "Terminal"<br>                do script "cd \"$DIR\"; latexmk -pvc -pdf -quiet \"$FILE\" "<br>        end tell
<br>APPLESCRIPT</blockquote><div><br>That seems unnecessarily roundabout. You could avoid Terminal altogether by doing:<br><br>bash <<BASH &>/dev/null &<br>    cd "$DIR"<br>    latexmk -pvc -pdf -quiet "$FILE"
<br>BASH<br><br>If you try Latex Watch, you should find it noticeably faster than latexmk, which<br>might be a clue that it's not just doing the same thing. :-)<br><br>Robin<br></div></div>