Це цікаве питання. Давайте обговоримо кілька способів, як це можна було б спробувати.
Спосіб №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.