Re: pil keeps parent shell around

[Rick Hanson]

> my question is about the bin/pil shell script.  Thinking about it
> now, this script is not for production iirc, so an extra shell
> process is not a problem actually.

Good call.
-- 
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe