Re: A question about linux pipes