question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

PDF generation from .tex file on Mac

See original GitHub issue

Tex file is not found when generating pdf, I was able to manually generate the pdf with the command pdflatex SecondSpec.tex from the toolbox folder but from the toolbox GUI (File/...) it doesn’t work.

Tried with different folder layouts, toolbox folder in the project and at the same level as the project.

screen shot 2018-11-11 at 21 02 34

Issue Analytics

  • State:closed
  • Created 5 years ago
  • Comments:18 (10 by maintainers)

github_iconTop GitHub Comments

1reaction
quaelercommented, Sep 5, 2019

With 6d2f1aa we now have improved warning as seen in this screencast (with panel text that contains a typo corrected before the commit.) 207_ss

1reaction
lemmycommented, Nov 13, 2018

Great, feel free to ask questions if needed. You might want to follow the [instructions to setup the IDE] (https://github.com/tlaplus/tlaplus/tree/master/general/ide) first.

Read more comments on GitHub >

github_iconTop Results From Across the Web

Compile .tex file to a pdf on os X - LaTeX Stack Exchange
I installed mactex and I wrote a resume in Vim, but I can't figure out how to compile the .tex file into a...
Read more >
PDF files from (La)TeX documents | Arts & Sciences Computing
At the current time there are two common ways of creating PDF files from (La)TeX documents. One is to go through the use...
Read more >
Where do I get the pdflatex program for Mac? - Super User
To get pdflatex for Pandoc on macOS, install BasicTeX. Many people recommend MacTeX, which is a much bigger package than you need. BasicTex...
Read more >
Create PDF reports using R, R Markdown, LaTeX and knitr (on ...
Having saved your R Markdown file, it's time to process it and generate a PDF file. You can do this by clicking the...
Read more >
LaTeX to PDF
Making Portable Document Format (PDF) files from LaTeX source is a little tricky, because the PDF file must incorporate not only the images...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found