On Sun, Sep 26, 2010 at 02:35:14AM +0100, Ben Hutchings wrote: > > But if you're shrinking, you have to resize the filesystem and then the > partition. And the partitioning tool is not so likely to know the size > of the filesystem.
And what partitioning tool uses marketing gigabytes as opposed to real gigabytes? This is all stupid anyway, since people who do this are more than likely to screw up and get it wrong by typo'ing a number. Tools like gparted are integrated with the filesystem resizers, and this is never an issue. - Ted -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org