Hacker News new | ask | show | jobs
by xuhu 847 days ago
Which one works best here ? Headers to stderr, or headers only if stdout is a tty ?