Это интересный вопрос. Давайте обсудим несколько способов, которыми можно попытаться.
Метод № 1: Управление местоположением во время установки apt-get
Используя apt-get, сделать это невозможно. Если вы устанавливаете с использованием .deb
файлов, это снова невозможно. Причина в том, что место для установки жестко запрограммировано в этих пакетах.
Чтобы манипулировать местом установки, вам придется скомпилировать sage
из исходного кода и изменить его makefile
перед установкой. Это придет с бременем управления зависимостями.
Тем не менее, были дискуссии по этому поводу. Возможно, люди сделали это. Возможно, они как-то манипулировали местом установки. Смотрите здесь и здесь . Если вы найдете способ сделать это, пожалуйста, добавьте комментарий.
Способ № 2: изменение расположения папки / usr
Вы можете изменить местоположение самой /usr
папки и перенести ее на внешнюю карту. Обычно это не приветствуется, но поскольку вы говорите, что всегда держите его вставленным, значит, все должно быть в порядке.
Для этого есть 2 способа:
(Предпочтительно) Создайте раздел на вашей внешней карте и перенесите весь контент в текущий /usr
папке в этот раздел. Затем измените ваш файл так, /etc/fstab
чтобы он монтировал этот раздел как /usr
папку, и полностью удалите старую /usr
папку. Чтобы сделать все это, вам нужно будет загрузиться с какого-нибудь аварийного диска или с живого CD / USB.
В этом методе также сначала загрузитесь с некоторого аварийного диска или live CD / USB, а затем переместите /usr
папку на внешнюю карту и затем создайте символическую ссылку на новую /usr
папку.
PS
Это интересный вопрос, о котором я думал в последнее время, когда мой жесткий диск заполнялся. Я попробую некоторые из этих вещей и обновлю свой ответ. Комментарии могут критиковать некоторые из этих методов.
ОБНОВИТЬ
Также смотрите ответ @gilles. Его предложение лучше. Вместо перемещения всей /usr
папки на внешнюю карту, просто переместите ее /usr/lib/sagemath
на внешнюю карту, поскольку она занимает около 3,1 ГБ вашей установки. Таким образом, в методе № 2 вы можете переместить эту папку вместо /usr
.