Comment by bjourne

You're right, Linux does not buffer writes to file descriptors for which buffering has no performance benefit...