![](https://secure.gravatar.com/avatar/c4fb1aecd98bbaa9856f8c421db294e0.jpg?s=120&d=mm&r=g)
13 Jul
2003
13 Jul
'03
11:23 a.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