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.