Уменьшение объема домашней директории?
 

Господа, возникла такая проблема. Ноутбук Dell Inspiron 1501, Ubuntu 10.10, жесткий диск 120 Гб поделен на разделы. Под домашнюю директорию был выделен раздел в 40 Гб (ext4). Вчера выпадает сообщение, что не осталось места в домашней папке. Кое-что поудалял. Запускаю анализатор использования дисков, в параметрах показывает: устройство /dev/sda5, точка монтирования /home, общий размер 36,7 Гб, доступно 17,6 Гб. В свойствах папки /home: занято 9,8 Гб, свободно 15,8 Гб. Как-то не бьется... Вопрос: так и должно быть, и, если нет, то как с этим бороться?