Це цікаве питання. Давайте обговоримо кілька способів, як це можна було б спробувати.
Спосіб №1: Маніпулювання розташуванням під час встановлення apt-get
Використовуючи apt-get, зробити це було б неможливо. Якщо ви встановлюєте .deb
файли, знову це неможливо. Причина просто в тому, що місце установки встановлено в ці пакунки.
Щоб маніпулювати місцем встановлення, вам доведеться зібрати його sage
з джерела та змінити його makefile
перед його встановленням. Це спричинить тягар управління залежностями.
Однак щодо цього були дискусії. Можливо, люди це зробили. Можливо, вони якось маніпулювали місцем установки. Дивіться тут і тут . Якщо ви знайдете якийсь спосіб зробити це, будь ласка, додайте коментар.
Спосіб №2: Зміна розташування папки / usr
Ви можете змінити розташування самої /usr
папки та перенести її на свою зовнішню карту. Зазвичай це не відволікає, але оскільки ти кажеш, що ти завжди тримаєш це, то це повинно бути добре.
Для цього є два способи:
(Переважно) Створіть розділ на зовнішній карті та перенесіть увесь вміст у поточній /usr
папці на цей розділ. Потім видозмініть ваш, /etc/fstab
щоб встановити цей розділ як /usr
папку, і видаліть стару /usr
папку взагалі. Щоб зробити все це, вам потрібно буде завантажитися з якогось рятувального диска або якогось живого CD / USB.
У цьому способі спочатку завантажтеся з якогось рятувального диска або живого CD / USB, а потім перемістіть /usr
папку на зовнішню карту, а потім створіть посилання на нову /usr
папку.
PS
Це цікаве запитання, про яке я думав останнім часом, коли мій жорсткий диск набирався. Я спробую деякі з цих речей і оновлю свою відповідь. Коментарі можна вітати з критикою деяких із цих методів.
ОНОВЛЕННЯ
Дивіться також відповідь @gilles. Його пропозиція краща. Замість того, щоб переміщувати всю /usr
папку на зовнішню карту, просто перемістіть її /usr/lib/sagemath
на зовнішню карту, оскільки вона займає близько 3,1 Гб вашої установки. Отже, у Способі №2 можна перемістити цю папку замість /usr
.