Esta é uma questão interessante. Vamos discutir algumas maneiras que isso poderia ser tentado.
Método 1: Manipulando a localização durante a instalação do apt-get
Usando o apt-get, não seria possível fazê-lo. Se você estiver instalando usando .deb
arquivos, novamente, isso não será possível. A razão é simplesmente que o local para instalação é codificado nesses pacotes.
Para manipular o local de instalação, você terá que compilar sage
da fonte e modificar seu makefile
antes de instalá-lo. Isto virá com um fardo de gerenciar as dependências.
No entanto, houve discussões sobre isso. Talvez as pessoas tenham feito isso. Talvez eles tenham de alguma forma manipulado o local de instalação. Veja aqui e here . Se você encontrar alguma maneira de fazer isso, por favor, adicione um comentário.
Método 2: Alterando a localização da pasta / usr
Você pode alterar a localização da pasta /usr
e transferi-la para o seu cartão externo. Normalmente, isso seria desencorajado, mas como você está dizendo que sempre o mantém inserido, ele deve ficar bem.
Para fazer isso, existem duas maneiras:
-
(preferível) Crie uma partição em seu cartão externo e transfira todo o conteúdo na pasta /usr
atual para essa partição. Em seguida, modifique seu /etc/fstab
para montar essa partição como a pasta /usr
e remova a antiga pasta /usr
. Para fazer tudo isso, você precisará inicializar a partir de algum disco de recuperação ou algum CD / USB ativo.
-
Nesse método também, primeiro inicialize a partir de um disco de recuperação ou live CD / USB e mova a pasta /usr
para o cartão externo e crie um symlink para o novo% pasta/usr
.
PS
Essa é uma pergunta interessante, sobre a qual eu tenho pensado ultimamente quando meu disco rígido estava ficando cheio. Vou tentar algumas dessas coisas e atualizar minha resposta. Comentários são bem-vindos para criticar alguns desses métodos.
UPDATE
Veja também @gilles answer. Sua sugestão é melhor. Em vez de mover toda a pasta /usr
para o cartão externo, basta mover o /usr/lib/sagemath
para o cartão externo, pois ele ocupa cerca de 3,1 GB de sua instalação. Então, no Método # 2 , você pode mover essa pasta em vez de /usr
.