Questa è una domanda interessante Discutiamo alcuni modi in cui questo potrebbe essere tentato.
Metodo n. 1: manipolazione della posizione durante l'installazione di apt-get
Usando apt-get, non sarebbe possibile farlo. Se stai installando usando i .debfile, di nuovo non è possibile. Il motivo è semplicemente che la posizione per l'installazione è codificata in questi pacchetti.
Per manipolare il percorso di installazione, dovrai compilare sagedal sorgente e modificarlo makefileprima di installarlo. Ciò comporterà un onere nella gestione delle dipendenze.
Tuttavia, ci sono state discussioni in merito. Forse la gente l'ha fatto. Forse hanno in qualche modo manipolato la posizione di installazione. Vedi qui e qui . Se trovi un modo per farlo, aggiungi un commento.
Metodo n. 2: modifica della posizione della cartella / usr
È possibile modificare la posizione della /usrcartella stessa e trasferirla sulla scheda esterna. Di solito questo sarebbe scoraggiato, ma dal momento che stai dicendo che lo tieni sempre inserito, quindi dovrebbe andare bene.
Per fare ciò, ci sono 2 modi:
(Preferibile) Creare una partizione nella scheda esterna e trasferire tutto il contenuto della /usrcartella corrente su quella partizione. Quindi, modifica il tuo /etc/fstabper montare quella partizione come /usrcartella e rimuovi del /usrtutto la vecchia cartella. Per fare tutto ciò, è necessario eseguire l'avvio da un disco di ripristino o da un CD / USB live.
Anche in questo metodo, prima avvia da un disco di ripristino o un CD / USB live, quindi sposta la /usrcartella sulla scheda esterna e quindi crea un collegamento simbolico alla nuova /usrcartella.
PS
Questa è una domanda interessante, qualcosa a cui ho pensato ultimamente mentre il mio hard disk si stava riempiendo. Proverò alcune di queste cose e aggiornerò la mia risposta. I commenti sono invitati a criticare alcuni di questi metodi.
AGGIORNARE
Vedi anche la risposta di @gilles. Il suo suggerimento è migliore. Invece di spostare tutta la /usrcartella sulla scheda esterna, basta spostarla sulla /usr/lib/sagemathscheda esterna perché occupa circa 3,1 GB dell'installazione. Quindi, nel metodo n. 2 , è possibile spostare questa cartella anziché /usr.