1. 2016-04-12 Re: Bad file descriptor with pipeline bash-bug Hédy_GIRAUDEAU 2. 2016-04-12 Re: Bad file descriptor with pipeline bash-bug Chet Ramey 3. 2016-04-11 Bad file descriptor with pipeline bash-bug Hédy_GIRAUDEAU