Dima Kogan ffd19b9b87 --hardcopy now handles piped output ...

If we tell gnuplot to plot to a file whose name starts with '|', gnuplot writes
to a a process, not to a file. This is now supported by feedgnuplot

2013-10-19 22:45:43 -07:00

..

feedgnuplot

--hardcopy now handles piped output

2013-10-19 22:45:43 -07:00