Stream: Beginner Questions

Topic: Document preparation - automatic build


view this post on Zulip Robert Soeldner (Jul 23 2022 at 09:03):

Is there an easy way to rebuild the PDF, every time the documents have been saved?

view this post on Zulip Wolfgang Jeltsch (Jul 24 2022 at 10:15):

That’s rather an operating system question, isn’t it? :wink: I wouldn’t expect a particular application, like Isabelle, to provide such a feature itself, but instead relying on users using a general OS feature “run some code whenever a file was changed”. If you’re using Linux, the StackOverflow article How do I run a script every time I save a file in Linux? should be helpful (the incron event to use should be IN_CLOSE_WRITE, in my opinion).


Last updated: Feb 27 2024 at 08:17 UTC