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/
