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

[Bernhard Voelker]

On 12/09/2012 01:02 PM, Pádraig Brady wrote:
> 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.

Thanks, thinking about it, you're right - even the test
showed that skipping the header is easy:
  $ df | sed 1d

Have a nice day,
Berny