Esta es una pregunta interesante. Discutamos algunas maneras en que esto podría intentarse.
Método n. ° 1: manipulación de la ubicación durante la instalación de apt-get
Usando apt-get, no sería posible hacerlo. Si está instalando usando .deb
archivos, nuevamente no es posible. La razón es simplemente que la ubicación para la instalación está codificada en estos paquetes.
Para manipular la ubicación de instalación, deberá compilar sage
desde la fuente y modificarla makefile
antes de instalarla. Esto vendrá con la carga de administrar las dependencias.
Sin embargo, ha habido discusiones al respecto. Quizás, la gente lo ha hecho. Quizás hayan manipulado de alguna manera la ubicación de la instalación. Mira aquí y aquí . Si encuentra alguna forma de hacerlo, agregue un comentario.
Método # 2: Cambiar la ubicación de la carpeta / usr
Puede cambiar la ubicación de la /usr
carpeta y transferirla a su tarjeta externa. Por lo general, esto se desaconsejaría, pero como usted dice que siempre lo mantiene insertado, debería estar bien.
Para hacer esto, hay 2 formas:
(Preferible) Cree una partición en su tarjeta externa y transfiera todo el contenido de la /usr
carpeta actual a esa partición. Luego, modifique su /etc/fstab
para montar esa partición como la /usr
carpeta y elimine la /usr
carpeta anterior por completo. Para hacer todo esto, deberá iniciar desde algún disco de rescate o algún CD / USB en vivo.
También en este método, primero inicie desde algún disco de rescate o CD / USB en vivo y luego mueva la /usr
carpeta a la tarjeta externa y luego cree un enlace simbólico a la nueva /usr
carpeta.
PD
Esta es una pregunta interesante, algo en lo que he estado pensando últimamente cuando mi disco duro se estaba llenando. Probaré algunas de estas cosas y actualizaré mi respuesta. Los comentarios son bienvenidos para criticar algunos de estos métodos.
ACTUALIZAR
También vea la respuesta de @gilles. Su sugerencia es mejor. En lugar de mover toda la /usr
carpeta a la tarjeta externa, simplemente /usr/lib/sagemath
muévala a la tarjeta externa porque ocupa aproximadamente 3.1 GB de su instalación. Entonces, en el Método # 2 , podría mover esta carpeta en lugar de /usr
.