Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: "echo | ps -j $(:) | cat | cat | cat" runs components in different process groups



On Apr 17,  9:09am, Bart Schaefer wrote:
} Subject: Re: "echo | ps -j $(:) | cat | cat | cat" runs components in diff
}
} On Apr 17, 10:19am, Peter Stephenson wrote:
} } Subject: Re: "echo | ps -j $(:) | cat | cat | cat" runs components in diff
} }
} } On Mon, 16 Apr 2018 22:39:10 -0700
} } Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
} } > So if, when we determine that "&" is the command separator, we could
} } > treat the command in the way the "time" prefix does, this would all
} } > work out without mangling execcmd_exec() and prefork().
} } 
} } That's good, I think that's probably worth doing.

It occurs to me that doing this with "|" as well as "&" might resolve
some other problems, but (testing just by scattering otherwise useless
"time" around) it doesn't seem to fix all the problems noted in the
earlier messages on this thread.



Messages sorted by: Reverse Date, Date, Thread, Author