Re: [PATCH] file size and device in properties dialog

[Diego Gonzalez <diego pemas net>]

On Wed, 2003-03-19 at 17:35, Alexander Larsson wrote:
> On Wed, 19 Mar 2003, Gaute Lindkvist wrote:
> 
> > > Hmmm. I'm not sure showing the device name in a highly visible dialog like
> > > that is very good. However, showing free space for directories sounds like
> > > a good thing.
> > >
> > Yeah, I can change this.. however, the device seems a bit necessary if you
> > are to be able to see any kind of pattern in why one directory has more
> > space than others.
> > 
> > If not showing the device name, then how can this be done? I do think we
> > need some way of distinguishing directories on one device from another.
> > 
> > If we showed XXX GB left out of XXX GB, then it would probably be a bit
> > better, because then at least the size of the partition would be a clue.
> > 
> > Perhaps we should think about using mount points instead?
> > 
> > Example:
> > /home/ is a mount point with 5 GB free space out of 30GB
> > /home/lindkvis/mp3 is a mount point with 15 GB free space out of 40GB
> > 
> > If you are looking at the properties in /home you could get:
> > --
> > Device: /home
> > Free space: 5 GB / 30 GB
> > --

also, when quotas are enabled the disk space that the user has available
is not the free space in the device. This has to be taken into account.

> > 
> > And in /home/lindkvis/mp3:
> > 
> > --
> > Device: /home/lindkvis/mp3
> > Free space: 15 GB / 40 GB
> > --
> 
> Yeah, that looks a lot better. Although we should probably use something 
> like Volume instead of Device. I'm not so sure about listing total size 
> though.
> 
> -- 
> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
>  Alexander Larsson                                            Red Hat, Inc 
>                    alexl redhat com    alla lysator liu se 
> He's a notorious Republican inventor from the 'hood. She's a ditzy paranoid 
> hooker with the soul of a mighty warrior. They fight crime!