Наконец, я попробовал «Linux Live USB Creator», как предложил Майкл Д. в комментарии. Но сначала это не сработало при загрузке.
Решением для меня было включение режима Legacy Boot в BIOS, плюс параметры, описанные в моем вопросе. Таким образом, это сработало идеально.
Тем не менее, я думаю, что решения будут работать с другой программой USB (например, «Universal USB Creator»). Ключом была активация упомянутой ранее опции.
Следующая команда напечатает все пакеты debian, найденные в системе:
sudo find / -type f -iname "*.deb"
это удалит их:
sudo find / -type f -iname "*.deb" -exec rm -v {} \;
Если свободное пространство не увеличилось, то где же файлы уходят, и как их правильно удалить?
Корзина для мусора PCManFM:
~ / .local / share / Trash / files
, он мог попасть туда.
Очистить неиспользуемые пакеты из кеша:
sudo apt-get autoclean
очистить все кэшированные пакеты:
sudo apt-get clean