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 .deb
fichiers, 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 à sage
partir de la source et le modifier makefile
avant 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 /usr
dossier 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 /usr
dossier actuel vers cette partition. Ensuite, modifiez votre /etc/fstab
pour monter cette partition en tant que /usr
dossier et supprimez /usr
complè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 /usr
dossier vers la carte externe, puis créez un lien symbolique vers le nouveau /usr
dossier.
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 /usr
dossier sur la carte externe, déplacez simplement le /usr/lib/sagemath
sur 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
.