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.
