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

[Ed Neville]

On Wed, Mar 20, 2019 at 02:22:42PM -0700, Kaz Kylheku (Coreutils) wrote:
> Fully golfed:
> 
>   df|sed 1d

The request does indeed say this:

On Sat, Mar 16, 2019 at 11:07:32am -0500, Bruce Dubbs wrote:
...
> Right now I see no method of omitting the header or to collapse the 
> spaces between values to a single space.  This can be done of course  
> with tools like awk, cut, sed, grep, tail, etc, but would be a lot 
> cleaner if done inside df.

Seems sane to me, everything is doable in script, removing column 
headers does not seem that odd to do within df.

-- 
Best regards,
Ed http://www.s5h.net/