Re: Command line tool to report free/used per partition

[Richard Owlett <rowlett@cloud85.net>]

On 04/11/2020 11:49 AM, David Wright wrote:
> On Sat 11 Apr 2020 at 11:07:40 (-0500), Richard Owlett wrote:
> > On 04/11/2020 10:22 AM, tomas@tuxteam.de wrote:
> > > On Sat, Apr 11, 2020 at 10:21:16AM -0500, Richard Owlett wrote:
> > > > I've a laptop dedicated to comparing space used by different install
> > > > options.
> > > >
> > > > I need a command line tool report on spaced actually used on each
> > > > partition. Gparted reports that by default, but I need a command
> > > > line tool.
> > >
> > > df
> >
> > Thank you.
> > Gparted had led me to a unwarranted assumption of expecting
> > information about both mounted and unmounted partitions.
>
> I think that was explained to you in
> https://lists.debian.org/debian-user/2019/01/msg01112.html
> when you last revisited this topic a year ago.
>
> > Debian keeps requiring me to think ;}
>
> That whole thread might be worth reviewing.

Yepp. I recently copied it to it's own sub-folder in my email directory.

> I perhaps misunderstood that by your having dedicated a laptop to this
> project, you might be requiring the sort of precision that only du
> (on a mounted filesystem) could give you.

The laptop is dedicated to the project to prevent collateral damage from 
experiments gone awry. It doesn't even have internet access.

> Cheers,
> David.