J'exécute Ubuntu 14.04 sur un Chromebook Toshiba en utilisant Crouton. Le lecteur sur lequel mon système d'exploitation est installé est petit, avec seulement 3,6 Go d'espace libre. Je voudrais installer sage
sur mon système mais sage
nécessite 6 Go d'espace libre sur le système.
Cependant, je garde toujours une carte SD insérée dans l'appareil. La carte dispose de 175 Go d'espace libre. Est-il possible d'installer sage
sur la carte SD?
La façon dont j'essaie de télécharger sage
avec les commandes
apt-add-repository -y ppa:aims/sagemath
apt-get update
apt-get install sagemath-upstream-binary
comme on le trouve ici .
software-installation
external-hdd
Brian Fitzpatrick
la source
la source
sage
.Réponses:
Il est difficile de diviser les paquets Debian sur différents disques paquet par paquet. Il n'y a aucun support pour cela; vous devez invoquer
dpkg
séparément les packages que vous souhaitez installer dans un emplacement autre que celui par défaut.Mettre une arborescence de répertoires sur un disque séparé est facile. Heureusement pour vous, pour autant que je puisse en juger par une lecture rapide, les packages Sage dans le PPA installent la plupart des fichiers
/usr/lib/sagemath
. Vous pouvez facilement mettre cela sur la carte SD. Disons que la carte SD est montée (lorsqu'elle est présente) sur/media/sdcard
. Créez-y un répertoire et créez un lien symbolique.Ensuite, tous les fichiers sous lesquels dpkg s'installe
/usr/lib/sagemath
se retrouveront sur la carte SD (quel que soit le paquet dont ils proviennent).Si vous essayez d'utiliser Sage ou de gérer les packages Sage alors que la carte SD n'est pas présente, vous obtiendrez un message d'erreur, et si vous insérez la carte SD et répétez l'action, il n'y aura aucun mal.
la source
sage
. Cependant, l'émission de$ sage
retoursbash: /usr/bin/sage: Permission denied
.user
option dans/etc/fstab
, ajoutez l'exec
option.etc/fstab
lectures# UNCONFIGURED FSTAB FOR BASE SYSTEM
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 modifiermakefile
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
.la source
/usr
à la carte SD rendrait le système inutilisable lorsque la carte SD n'est pas présente. Ce n'est pas une bonne idée.