Se você não quiser reorganizar suas partições do zero, eu gostaria de:
- redimensione sua partição inicial para liberar espaço livre no 3GiB usando o gparted
- crie uma nova partição nesse espaço livre
-
sudo mv /opt /root_opt -
sudo mkdir /opt - adicione um registro ao / etc / fstab para montar essa nova partição como
/opt/ -
sudo mount -a -
sudo mv /opt_root/* /opt/ -
sudo rmdir /opt
Desta forma, você vai acabar com ~ 80% do espaço usado em / .
Como uma alternativa mais arriscada, você pode inicializar a partir de algum LiceCD e usar o gparted para reduzir sua partição home em 4GiB desde o início e estender sua partição root no final. Mas faça backup primeiro. É uma operação um pouco mais arriscada.
Observe também que o espaço em disco não utilizado e o espaço em disco disponível são outra coisa. Por exemplo, se você criar uma nova partição de 100GiB com o sistema de arquivos ext3, por padrão, 5% será reservado para evitar a fragmentação. Então você vai começar com < 95 GiB para usuários não-root sem gravar um único arquivo lá. Isso é normal e isso é bom.
Eutenhovistoumamensagemdeerrodizendoquefiqueisemespaçoemdisco.Euuseioanalisadordeusodediscoedescobrique,dos225GB,apenas80GBestãosendousados.