C'est une question intéressante. Laissez-nous discuter de quelques façons dont cela pourrait être tenté.
Méthode n ° 1: manipulation de l'emplacement lors de l'installation d'apt-get
En utilisant apt-get, il ne serait pas possible de le faire. Si vous installez à l'aide de .debfichiers, ce n'est pas possible. La raison en est simplement que l'emplacement d'installation est codé en dur dans ces packages.
Pour manipuler l'emplacement d'installation, vous devrez compiler à sagepartir de la source et le modifier makefileavant de l'installer. Cela entraînera une charge de gestion des dépendances.
Cependant, il y a eu des discussions à ce sujet. Peut-être que les gens l'ont fait. Peut-être qu'ils ont en quelque sorte manipulé l'emplacement d'installation. Voir ici et ici . Si vous trouvez un moyen de le faire, veuillez ajouter un commentaire.
Méthode n ° 2: modification de l'emplacement du dossier / usr
Vous pouvez modifier l'emplacement du /usrdossier lui-même et le transférer sur votre carte externe. Habituellement, cela serait déconseillé, mais puisque vous dites que vous le gardez toujours inséré, cela devrait donc aller.
Pour ce faire, il existe 2 façons:
(De préférence) Créez une partition sur votre carte externe et transférez tout le contenu du /usrdossier actuel vers cette partition. Ensuite, modifiez votre /etc/fstabpour monter cette partition en tant que /usrdossier et supprimez /usrcomplètement l'ancien dossier. Pour faire tout cela, vous devrez démarrer à partir d'un disque de secours ou d'un CD / USB en direct.
Dans cette méthode également, démarrez d'abord à partir d'un disque de secours ou d'un CD / USB en direct, puis déplacez le /usrdossier vers la carte externe, puis créez un lien symbolique vers le nouveau /usrdossier.
PS
C'est une question intéressante, quelque chose à laquelle j'ai pensé récemment alors que mon disque dur se remplissait. Je vais essayer certaines de ces choses et mettre à jour ma réponse. Les commentaires sont les bienvenus pour critiquer certaines de ces méthodes.
MISE À JOUR
Voir aussi la réponse @gilles. Sa suggestion est meilleure. Au lieu de déplacer tout le /usrdossier sur la carte externe, déplacez simplement le /usr/lib/sagemathsur la carte externe car il occupe environ 3,1 Go de votre installation. Ainsi, dans la méthode # 2 , vous pouvez déplacer ce dossier au lieu de /usr.