(EXT:SHELL [command]) calls the operating system's shell, the value of
the environment variable SHELL on UNIX ...
I see this behavior
$ echo $SHELL
from this shell I run clisp (inc. current hg) and get this:
/bin/sh: psx: command not found
which seems to indicate that ext:shell is running /bin/sh which is
NOT the value of $SHELL.
BTW, just to test that:
Sam Steingold writes:
> > * Don Cohen <qba-fbheprsbetr-kkmj@...> [2011-05-20 01:20:47 -0700]:
> > from this shell I run clisp (inc. current hg) and get this:
> > (ext:shell "psx")
> > /bin/sh: psx: command not found
> > 127
> This is intentional. The shell commands are executed by /bin/sh,
> not by $SHELL.
In that case, please view this as a bug report for the documentation.