13 Jul
2003
13 Jul
'03
7:23 p.m.
On Sat, Jul 12, 2003 at 07:22:06PM +0200, Hans Hagen wrote:
i have problems with the not that name compatible:
\shellescape \write18
so if a dedicated name would be used, we would either have something:
\shellescape{some command} \shellescapemode == number
This would be the cleanest solution, without that magic nasty "18". But I fear, nobody will have the courage to extend standard TeX in this sense. An alternative for \shellescapemode could be a \if switch: \ifshellescape
or (considering it a channel)
\write18 \ifeof18
Yours sincerely
Heiko