Bạn có thể thiết lập điều này bằng cách sử dụng launchd . Cụ thể, bạn cần sử dụng khóa watchpaths trong bảng khởi chạy của mình để tìm kiếm các thay đổi trong tệp đó.
Thông tin đầy đủ có sẵn trong bài viết AFP548 này .
Mặc dù có vẻ như nó không còn được phát triển nữa, Lingon là một ứng dụng cung cấp cách thức GUI để thiết lập các tệp plist launchd này.
BIÊN TẬP:
Roughly, đây là những gì bạn làm bằng cách sử dụng các đường dẫn mẫu của bạn ở trên. Lưu một tệp có tên com.superuser.run-pdflatex.plist
với nội dung sau vào~/Library/LaunchAgents
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>Label</key>
<string>com.superuser.run-pdflatex</string>
<key>OnDemand</key>
<true/>
<key>Program</key>
<string>/Users/foo/run-pdflatex.sh</string>
<key>ProgramArguments</key>
<array>
<string>run-pdflatex.sh</string>
</array>
<key>WatchPaths</key>
<array>
<string>/Users/foo/doc.tex</string>
</array>
</dict>
</plist>
Sau đó, bạn nhập launchctl load ~/Library/LaunchAgents/com.superuser.run-pdflatex.plist
vào thiết bị đầu cuối để tải trình nền xem tệp của bạn.
Trên đây là chưa được kiểm tra, nhưng đó là ý tưởng chung.