Мой друг разделил свою систему ubuntu с помощью / usr на отдельный раздел. Этот раздел теперь заполнен. Он не может использовать apt для установки нового программного обеспечения. Есть ли что-нибудь в / usr, что он может безопасно удалить (т.е. удалить с помощью rmне apt-get remove)?
Поскольку он не может установить новое программное обеспечение, он не может установить что-то вроде dpigs (инструмент для проверки того, какие пакеты занимают место)
У меня была похожая проблема. Первым шагом было найти десять самых популярных космических свиней:
# cd /usr/share
# du -sm * | sort -rn | head -10
/usr/share/doc в моей системе было 759 МБ. Пространство, которое может быть использовано для других целей. С * nix вы можете перемещать вещи, не ломая их. В моем случае у меня было много свободного места в / home, которое находилось в другом разделе:
# mkdir -p /home/share/doc
# mv /usr/share/doc/* /home/share/doc
# rmdir /usr/share/doc
# ln -s /home/share/doc /usr/share/doc
Если вы действительно отчаялись, вы всегда можете смонтировать внешний жесткий диск и выполнить аналогичный процесс перемещения. В этом случае нужно следить за тем, чтобы вы не перемещали на внешний диск ничего важного для запуска системы. /usr/src другой кандидат, но я бы не двинулся /usr/lib, слишком рискованно.
/usr/share/doc
/usr/src
Вы пробовали "sudo apt-get clean", "apt-get autoclean" и "apt-get autoremove"? Если вы используете "man apt-get", это опишет, что каждый из них делает, и может освободить место.
Уродливым взломом было бы попробовать удалить GNOME и вместо этого получить что-нибудь легкое. Предположительно это позволит сэкономить место.
Другой вариант, который не исследовался, - это изменение размера разделов с помощью gparted livecd. Тем не менее, сначала сделайте резервную копию важных данных и будьте готовы потерять много на всякий случай. Я уже несколько раз менял размер, и у меня не было проблем, так что это довольно надежная процедура.
Другим расширением этого является то, что он мог переместить все из / usr в другой раздел большего размера, связав его символической ссылкой на новое место. Затем с помощью gparted вы можете удалить старый раздел / usr и объединить / usr с другим разделом.
Лично я не вижу необходимости разделять разделы для / usr / home и т.д., как это было раньше. Часто это приводит к большему количеству проблем, чем решает (то есть к нехватке места). Тем не менее, это только мое мнение.
Мне больше всего нравится решение CyberFonic, однако при создании символической ссылки мне пришлось указать ей вариант «без разыменования», поскольку это каталог. В противном случае я получу ошибки при установке всего, что пытается добавить файл документа, поскольку / usr / share / doc не рассматривается как каталог. Я не мог перейти к / usr / share / doc, пока не сделал символическую ссылку следующим образом:
sudo ln -sfn /home/usr/share/doc /usr/share/doc