[ConteZero]

Ci sono molti strumenti (su Windows era noto il partition manager) che permettono di alterare le dimensioni delle partizioni senza bisogno di fare cose radicali come un format.