Re: [PATCH] df: add --without-header option

[Pádraig Brady]

On 12/08/2012 08:18 PM, Bernhard Voelker wrote:
> I wondered if it would be useful in some cases
> to suppress the header line in df.
>
> Looking at the already-used options and how they start,
> I took "--without-header" which can be abbreviated by
> "--w". WDYT?

Thanks for the patch.

It's easy to implement/add but I'm 60:40 against doing so because,
it's not often needed with df. If it is needed then
one can always tail -n+2, which while a bit more inefficient
in the general case as a data copy is involved between two processes,
with the amount of data typically output from df, this isn't
a practical concern.

Where --header options can be useful is on the consumer side,
where the filter can skip _but also preserve_ the header line(s).

thanks,
Pádraig.