Re: [Groff] Groff - weird error with line spacing

[Mike Bianchi]

On Thu, Oct 08, 2015 at 10:30:29AM +0100, Ralph Corderoy wrote:
> Hi Hog,
> 
> > When piping to gv:
> >     groff -mm oops|gv -
> > The second page throws PostScript errors, the primary being "undefined in 
> > BP".
> > 
> > Trying with output to a file:
> >     groff -mm oops>oops.ps
> > Produces a properly formatted second page.

I have not found any evidence that  gv(1)  is documented as taking '-' as an
alias for the standard input. 

Interestingly   gv /dev/stdin < manual.ps  works.

But ...
         cat manual.ps  |  gv /dev/stdin
        gv: Cannot open file /dev/stdin (No data available)

         cat manual.ps  |  ( sleep 1; gv /dev/stdin )
        gv: Cannot open file /dev/stdin (No data available)


I suspect a funny race condition involving pipes.

All my shell code using  gv  employ files named  /tmp/$$_something
when I might have used a pipe.

-- 
 Mike Bianchi
 Foveal Systems

 973 822-2085

 address@hidden
 http://www.AutoAuditorium.com
 http://www.FovealMounts.com