Если вы не хотите реорганизовать свои разделы с нуля, я бы:
- измените размер домашнего раздела, чтобы освободить 3GiB в конце, используя gparted
- создать новый раздел на этом свободном месте
sudo mv /opt /root_opt
sudo mkdir /opt
- добавьте запись в /etc /fstab, чтобы смонтировать этот новый раздел как
/opt/
sudo mount -a
sudo mv /opt_root/* /opt/
sudo rmdir /opt
Таким образом, вы получите ~ 80% используемого пространства на /
.
В качестве более рискованной альтернативы вы можете загрузиться с некоторого LiceCD, и с помощью gparted уменьшите ваш домашний раздел на 4 ГБ с начала и увеличьте корневой раздел в конце. Но сначала сделайте резервную копию. Это немного более рискованная операция.
Также обратите внимание, что неиспользуемое дисковое пространство и доступное дисковое пространство - это нечто другое.
Например, если вы создаете новый раздел 100 ГБ с файловой системой ext3, то по умолчанию 5% зарезервировано для предотвращения фрагментации. Таким образом, вы начнете с доступного <95 ГиБ для пользователей без полномочий root без записи там одного файла. Это нормально и это хорошо.