Re: [PATCH] df: Adding a --no-headers option, by request of Bruce Dubbs

[Kaz Kylheku (Coreutils)]

On 2019-03-17 05:27, Ed Neville wrote:
> Taking suggestions into account, '--no-headers' seems more consistent
> with ps options.

This loses on character count:

  df --no-headers
  df | sed 1d

Fully golfed:

  df|sed 1d

Oops!