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