Il y a quelques jours, Sam et Max faisaient un article sur livereload (https://chabotsi.fr/links/?0jBS7g). Un petit programme python qui permet de recharger une page web quand les fichiers locaux (html, css, js, etc) changent.
En créant un fichier Guardfile
dans le dossier à surveiller, vous pouvez faire faire à livereload à peu près ce que vous voulez. Y compris lancer un make
ou un pdflatex
. Et donc là, pour éditer du LaTeX, c’est juste trop cool. La moitié de l’écran pour éditer le code, l’autre pour prévisualiser le pdf. À chaque enregistrement, livereload compile le fichier LaTeX et le pdf est mis à jour. C’est pas beau ?
Le guardfile a utiliser est vraiment très simple. Un exemple ici : https://chabotsi.fr/paste/?e1965ba1e1f2f415#o0db0qKO/r0sVg785x3XG9L7Dq7hZFWtALFO0EZlYCM=