On Sun, May 29, 2016 at 1:17 PM, Matthias Zimmerman
wrote:
> I found a bug in bashes redirection?
> anyway the recipe for disaster is,
>
> cat <(sudo {any command}) | {any other command}
>
> And if you ctl-C it/ try to kill it, bash will die
What command do you use, and what version of bash? Min
I found a bug in bashes redirection?
anyway the recipe for disaster is,
cat <(sudo {any command}) | {any other command}
And if you ctl-C it/ try to kill it, bash will die
On Thu, May 26, 2016 at 3:30 AM, Chet Ramey wrote:
On 5/25/16 12:00 AM, konsolebox wrote:
Bash seems to have gone through a lot of changes/bugs lately
so it would be nice ...[to be]... sure it's stable forthat major version.
There will be at least one, possibly two, more release
can
