Внезапно кончилось место на ноуте. Очень сильно удивился, вроде должно быть еще полно. У меня диск 300 гб, но и ничего тяжелого я на нем не храню.

Оказалось, что у меня в корзине лежит мусора на 120 гб (хотя в настройках разрешено не больше 40, wtf?) и кеш менеджера пакетов вольготно разползся на 80 гб.