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

[Gaute Lindkvist <lindkvis stud ntnu no>]

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

I'm also thinking a small discrete emblem on a directory to show that is a
separate device, might be in order, but that is a different issue.

The rest of the issues I will fix later today.

Gaute Lindkvist