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.
> Hi Jon,
>> I'll look into that "#!" thing another day. I don't think I've used
>> it much, if at all, with PicoLisp.
> One thing which should not be forgotten is to set the script executable
> with 'chmod +x'.
>> Have a nice weekend!
> You, and everybody else, too!
> ?? Alex