On Sat 11 Apr 2020 at 11:07:40 (-0500), Richard Owlett wrote: > On 04/11/2020 10:22 AM, to...@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. 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. Cheers, David.
