Am Montag, den 19.06.2017, 15:39 +0200 schrieb Enrico Forestieri: > Sorry, it was not clear to me what you meant. Here is a patch > following > this strategy. > > - We never store in the document the need for -shell-escape. > - When the user checks the toolbar button and then runs a latex > backend, > he is alerted that the backend will be allowed to run external > programs. > - At this point, he can decide to let the backend run (and be asked > again > next time), or to always allow execution with -shell-escape for > this doc. > - If the user chooses to always allow -shell-escape for the current > document, > the document path is stored in the session file, so that next time > it is > loaded on the current machine, the toolbar button will be > automatically > toggled and no question will be asked. > - If the user manually toggles the toolbar button so that to disallow > the > -shell-escape option for an authorized document, the document is > automatically removed from the list of authorized documents. > > This patch does not introduce a format change, because nothing is > recorded > in the document (the document status is only recorded in the session > file).
Again: Why do we need the toolbar button? Why not let the document itself ask for shell-escaping, depending on the need for that (e.g., minted)? Jürgen
signature.asc
Description: This is a digitally signed message part
