I would like to know if it's possible to compress a Linux partition with a drivespace-like utility. Thanks.