Cioè, tu vuoi ridimensionare la partizione di Linux? Se ho capito bene, allora... semplicemente la ridimensioni! Stai però attento a fare un backup dei dati, non si sa mai