3 ms·Which one works best here ? Headers to stderr, or headers only if stdout is a tty ?by xuhu 3y agoWhich one works best here ? Headers to stderr, or headers only if stdout is a tty ?