Vous pouvez configurer cela à l'aide de launchd . Plus précisément, vous devez utiliser la clé watchpaths dans votre liste launchd pour rechercher les modifications dans ce fichier.
Informations exhaustives disponibles dans cet article AFP548 .
Bien qu'il semble qu'il ne soit plus en cours de développement, Lingon est une application fournissant un moyen graphique de configurer ces fichiers plist launchd.
ÉDITER:
En gros, voici ce que vous feriez en utilisant vos exemples de chemins ci-dessus. Enregistrez un fichier nommé com.superuser.run-pdflatex.plist
avec le contenu suivant dans~/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>
Ensuite, vous devez taper launchctl load ~/Library/LaunchAgents/com.superuser.run-pdflatex.plist
dans le terminal pour charger votre démon d'observation des fichiers.
Ce qui précède n'est pas testé, mais c'est l'idée générale.