[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Pádraig Brady
Subject: Re: [PATCH] df: add --without-header option
Date: Sun, 09 Dec 2012 12:02:43 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:13.0) Gecko/20120615 Thunderbird/13.0.1

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).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]