On Sun, May 29, 2016 at 1:17 PM, Matthias Zimmerman
<[email protected]> 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? Mine doesn't crash
with 4.3 and 4.4-devel.
cat <(sudo pwd) | { cat ; }
cat <(sudo pwd) | { while cat; do :; done; }
You should also consider using bashbug so you could give more details
about the problem.
--
konsolebox
