Esta é uma pergunta interessante. Vamos discutir algumas maneiras pelas quais isso poderia ser tentado.
Método # 1: Manipulando o local 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 não será possível. O motivo é simplesmente que o local da instalação está codificado nesses pacotes.
Para manipular o local da instalação, você precisará compilar a sage
partir da fonte e modificá-la makefile
antes de instalá-la. Isso virá com um ônus 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 da instalação. Veja aqui e aqui . Se você encontrar alguma maneira de fazer isso, adicione um comentário.
Método 2: Alterando o local da pasta / usr
Você pode alterar o local da /usr
própria pasta e transferi-la para o seu cartão externo. Geralmente isso seria desencorajado, mas como você está dizendo que sempre o mantém inserido, deve ficar bem.
Para fazer isso, existem 2 maneiras:
(Preferível) Crie uma partição no seu cartão externo e transfira todo o conteúdo da /usr
pasta atual para essa partição. Em seguida, modifique seu /etc/fstab
para montar essa partição como a /usr
pasta e remova a /usr
pasta antiga por completo. Para fazer tudo isso, você precisará inicializar a partir de um disco de recuperação ou de um CD / USB ao vivo.
Também neste método, primeiro inicialize a partir de algum disco de recuperação ou CD / USB ativo, mova a /usr
pasta para o cartão externo e crie um link simbólico para a nova /usr
pasta.
PS
Essa é uma pergunta interessante, algo sobre o qual tenho pensado ultimamente enquanto 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.
ATUALIZAR
Veja também a resposta @gilles. Sua sugestão é melhor. Em vez de mover toda a /usr
pasta para o cartão externo, basta movê-lo /usr/lib/sagemath
para o cartão externo, pois ele ocupa cerca de 3,1 GB de sua instalação. Portanto, no método 2 , você pode mover esta pasta em vez de /usr
.