> The script was executable (-rwxr-xr-x@), but for some reason I had to replace
> with this "direct" variant:
> Strange, since there was no problem launcing PicoLips with "/usr/bin/pil"
> on the command line.
Is there really a 'pil' script in "/usr/bin/pil"?
BTW, I'm not really sure, but as far as I know traditionally Unix allows
only _binary_ executables in the "#!" notation.
Because of that, I always write
as 'picolisp' is a true binary (not a script). In Linux it doesn't seem
to matter, but I don't know how the situation is for Mac OSX.