>>>>> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:
Angus> Thereafter, to ensure that execvp is happy to run the script, Angus> we must either set its executable bit or pass it to the shell. Angus> I chose the latter option. I guess that it'd be easy enough to Angus> check what type of script it was, however, rather than just Angus> blindly prepend a "sh ". I imagine a function similar to Angus> Herbert's string const getExtFromContents(string const & Angus> filename); which reads the first line of the script: #! /bin/sh Angus> #! /usr/bin/env python returning either "sh" or "python" as Angus> appropriate. It would return string() if the line did not start Angus> "#!". Angus> Would you be happy with something like this in 1.3.5? What would be wrong with setting the execute bit properly? We do that for lyx2lyx, don't we? JMarc
