search

MathHubInfo / Legacy-localmh

DEPRECATED - A cross-repository administration tool for the local authoring in MathHub.info
1 stars 0 forks source link

lmh pdf should honor -p (--pipe-worker-output) #243

Closed kohlhase closed 9 years ago

kohlhase commented 9 years ago

It seems that lmh pdf has lost the -p option. This should be reinstated (see the help text). Assigning to Tom for overview even though it is probably a MMT shortcoming @cmaeder

tkw1536 commented 9 years ago

@kohlhase You are correct, it is an MMT issue. @cmaeder let me know once you have an option that I can pass to MMT.

On Tue, Sep 15, 2015, 07:31 Michael Kohlhase notifications@github.com wrote:

It seems that lmh pdf has lost the -p option. This should be reinstated (see the help text). Assigning to Tom for overview even though it is probably a MMT shortcoming @cmaeder https://github.com/cmaeder

— Reply to this email directly or view it on GitHub https://github.com/KWARC/localmh/issues/243.

cmaeder commented 9 years ago

@kohlhase Currently, MMT always writes the output of the process to the file .pdflog. Is this option vital? So far the PdfLatexml plugin (as many others) does not take any options (most things are controlled by environment variables).

The easiest way to implement this for me would be via a (set or unset) environment variable.

cmaeder commented 9 years ago

I did not consider yet plugin arguments for my simplified (user-friendly) rbuild action.

cmaeder commented 9 years ago

I've added optional arguments. rbuild pdflatex --pipe-worker-output <files> does the job. Alternatively, --pipe-worker-output may be given at the end of an extension line.

Only the long form is supported, file names starting with -- are not supported, MMT does not show supported options.

@tkw1536 can you proceed?

tkw1536 commented 9 years ago

Closing, since lmh gen now directly forwards to mmt.