[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: Error Producing PDF Version

It's because Eclipse (on which the Toolbox is based) does not handle inheriting a user's PATH setting well, and so if a user's pdflatex is installed anywhere except for the most basic of places (like "/bin" on a *NIX based OS), pdflatex won't be found (and so the full path to it must be specified.)

On Friday, March 13, 2020 at 12:21:07 AM UTC-7, burt wrote:
that's right, even if I don't understand why.

Am Donnerstag, 12. März 2020 22:15:48 UTC+1 schrieb loki der quaeler:
If you specify a full path to pdflatex, you could be "one and done" as opposed to updating the preferences.

On Thursday, March 12, 2020 at 1:14:39 AM UTC-7, burt wrote:
I had the same problem. The toolbox generates a tex-file in the folder spec.toolbox, in your case DieHard.toolbox. But it seems that the pdflatex command is run in the current folder, the parent of DieHard.toolbox.

A work around that worked for me: 
I changed the command in preferences to "cd DieHard.toolbox; pdflatex"

Not quite convenient, because it must be changed for every new spec. But it works for me.

Am Mittwoch, 12. Februar 2020 06:09:52 UTC+1 schrieb Ryan Mortensen:
I try to run the PDF producer on the toolbox that I just downloaded, but I get the following error:

TLATeX unrecoverable error: Tring to run command `pdflatex DieHard.tex` produced  the following error- Cannot run program 'pdflatex' in directory /my/dir/DieHard.toolbox.
The system cannot find the file specified.

Is this because of a faulty installation on my part?
I read the other messages from 2013, which makes me wonder if I need to install Latex separately?

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/941e5890-de86-4cd2-846c-cbd58aa50fd1%40googlegroups.com.