It's a roll of the dice when it comes to shrinking the current partition, leading many to investigate third-party tools such as the freeware application GParted. You should be far more successful with it, and it's a native Linux application. Happy

John