Vou adivinhar aqui. Se você nunca usou o Ubuntu 13.10, estou assumindo que é seu / dev / sda1. Meu raciocínio
- A instalação básica tem menos de 8 GB, se você nunca usou, o uso do disco faz sentido
- / dev / sda2 tem mais espaço ocupado, e é por isso que você quer mais espaço
- Se você não estiver usando 13.10, não haverá chave (bloqueada) ao lado do nome da partição
Tenho certeza que o / dev / sda1 é 13.10. Caso contrário, seria montado.
Para verificar novamente, df mostrará quais partições estão montadas. Se ainda não tiver certeza, inicialize no 13.10 e veja o que está montado com df ou gparted.
O que você precisa fazer é formatar a partição / dev / sda1 para ganhar mais espaço. Infelizmente você não poderá estender sua partição 12.04 para o novo espaço livre. O que você pode fazer é montá-lo quando usar o 12.04 e ele funcionará como um disco rígido "externo". Se isso incomoda você, você pode montá-lo automaticamente através de scripts na inicialização.
AVISO
Simplesmente formatar sua partição 13.10 irá bagunçar o seu gerenciador de inicialização porque o gerenciador de inicialização está localizado na mesma partição. Você precisa reinstalar o gerenciador de inicialização em / dev / sda2 ou / dev / sda1 (uma sugestão é criar uma nova partição / boot de ~ 300mb) após formatá-la. Aqui está um tutorial