Além da resposta do mkdrive2 , você pode considerar apenas criar uma nova partição e usá-la para dados grandes .
Redimensionar partições pode ser complicado, especialmente se a partição /home
estiver fisicamente localizada entre outras partições. Sempre corre o risco de algo dar errado, por isso, certifique-se de fazer um backup antes de alterar as partições com uma distribuição ao vivo do GParted ou similar.