On Dec 5, 2:16 am, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote:
> The command spkg/pipestatus runs two commands in a pipeline CMD1 | CMD2
> and returns the exit status of CMD1 if CMD1 fails but CMD2 is successful
> (normally, CMD1 | CMD2 would always exit with the status of CMD2). This
> is useful in Makefile where CMD2 is a "tee" command.
>
> In #10339, there is some disagreement about how
> spkg/pipestatus "A && B" "C"
> should behave.
What's the difference? Right now we never call pipestatus with
arguments in this form, do we? As long as we document what it's doing
for the possible time when we want to call it like this, just choose
one. (I have a not-very-strong opinion that it should work the way
(set -o pipefail; eval "$1 | $2")
does, since that's what happens with pipestatus in version 3 or later
of bash, and so that's what's currently happening on most people's
machines right now.)
Whatever else happens in #10339, perhaps documenting the precise
behavior of pipestatus should be a high priority.
--
John
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
