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

[Alexander Larsson <alexl redhat com>]

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
> --
> 
> 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!