Re: [OT] What does this pipe do? (fwd)

2007-01-23 Thread Dan Nelson
In the last episode (Jan 23), [EMAIL PROTECTED] said: > On Tue, 23 Jan 2007, Robert Huff wrote: > >[EMAIL PROTECTED] writes: > >> I know this is a Unix shell command, and off-topic, but I'm > >> curious. I've been reading a few 'make' commands at work that end > >> in "|&" and I was wondering if th

Re: [OT] What does this pipe do? (fwd)

2007-01-23 Thread youshi10
On Tue, 23 Jan 2007, Robert Huff wrote: [EMAIL PROTECTED] writes: I know this is a Unix shell command, and off-topic, but I'm curious. I've been reading a few 'make' commands at work that end in "|&" and I was wondering if that redirection string is synonymous to "| /dev/stdout".