[OS X TeX] using other extensions in TeXShop

[Doaitse Swierstra]

This raises I question I have posed to the author a while ago.

I am using a personal script to preprocess a file which (for various 
other reasons) is supposed to have the  extension .lhs . Unfortunately 
if I open a file with this extension in TeXShop the coloring is not 
there, and the buttons do not work. How can I convince TeXShop that the 
contents of this file can be prefectly processed by my script?

Of course I could do something like ($1 is something like 
<properfilename>.tex):

cp $1 dummy.lhs
lhs2tex --poly dummy.lhs > dummy.tex
pdflatex dummy.tex
mv dummy.pdf ${1/tex/pdf/}

Unfortunately now all my "intermediate files" are called 
dummy.<something>, and I think it is very clumsy to always have to 
rename such files back and forth.

Any suggestions. My suggestion would be to equip TeXShop with helper 
scripts, i.e. a table which indicates, based on the file name 
extension, what script to run:

lhs        scriptforlhs
tex        pdflatex

etc


  Doaitse Swierstra





On 2004 mei 11, at 16:36, Julien Salort wrote:

> Maarten Sneep <maarten.sneep at xs4all.nl> wrote:
>
>> Yes, RT fabulous M -- eh, online help in TeXShop: Look for "Alternate
>> Typesetting Modes", last paragraph in that help section.
>
> Thanks for your quick answer.
> %&personallatex works indeed.
>
> -- 
> A: Because it messes up the order in which people normally read text.
> Q: Why is top-posting such a bad thing?
> A: Top-posting.
> Q: What is the most annoying thing on a mailing list?
> -----------------------------------------------------
> Please see <http://www.esm.psu.edu/mac-tex/> for list
> guidelines, information, and LaTeX/TeX resources.
>
>

-----------------------------------------------------
Please see <http://www.esm.psu.edu/mac-tex/> for list
guidelines, information, and LaTeX/TeX resources.