[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.
error=2 
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.