On Fri, Jul 14, 2017 at 10:13:37PM +0200, Tomas Pospisek wrote: > The line "auth.dia --> /dev/stdout" goes to STDERR though. So if you do: > > dia --export=/dev/stdout --filter=svg auth.dia > outfile.svg > > then everything works as it should.
It seems that's not what happened when I filed the bug, however. But if it works now, good. > * some info about the processing of the file for the user goes to STDERR This bit is, however, if not a bug at least a wart in the program. stderr is not a place for random info to be shown to the user, but for error messages. The proper place for "foo.dia -> output" messagges is either /dev/null (unless a verbose mode is requested), /dev/tty (for interactive users), or a log file. In my opinion. > Can you agree with me? Can we close this bug? You can close the bug.