Ini pertanyaan yang menarik. Mari kita bahas beberapa cara ini bisa dicoba.
Metode # 1: Memanipulasi lokasi selama instalasi apt-get
Menggunakan apt-get, itu tidak mungkin dilakukan. Jika Anda menginstal menggunakan .deb
file, sekali lagi itu tidak mungkin. Alasannya adalah karena lokasi untuk instalasi di-codet ke dalam paket-paket ini.
Untuk memanipulasi lokasi instalasi, Anda harus mengkompilasi sage
dari sumber dan memodifikasinya makefile
sebelum menginstalnya. Ini akan datang dengan beban mengelola ketergantungan.
Namun, ada diskusi mengenai hal ini. Mungkin orang sudah melakukannya. Mungkin mereka entah bagaimana memanipulasi lokasi instalasi. Lihat di sini dan di sini . Jika Anda menemukan cara untuk melakukan ini, silakan tambahkan komentar.
Metode # 2: Mengubah lokasi folder / usr
Anda dapat mengubah lokasi /usr
folder itu sendiri dan mentransfernya ke kartu eksternal Anda. Biasanya ini akan berkecil hati, tetapi karena Anda mengatakan bahwa Anda selalu memasukkannya, jadi itu harus baik-baik saja.
Untuk melakukan ini, ada 2 cara:
(Lebih disukai) Buat partisi di kartu eksternal Anda dan transfer semua konten di /usr
folder saat ini ke partisi itu. Kemudian, modifikasi Anda /etc/fstab
untuk memasang partisi itu sebagai /usr
folder, dan hapus /usr
folder lama sekaligus. Untuk melakukan semua ini, Anda harus mem-boot dari beberapa disc cadangan atau CD / USB langsung.
Dalam metode ini juga, boot dulu dari beberapa disc cadangan atau live CD / USB dan kemudian pindahkan /usr
folder ke kartu eksternal dan kemudian buat symlink ke /usr
folder baru .
PS
Ini adalah pertanyaan yang menarik, sesuatu yang saya pikirkan belakangan ini ketika hard disk saya mulai penuh. Saya akan mencoba beberapa dari hal ini dan memperbarui jawaban saya. Komentar dipersilahkan untuk mengkritik beberapa metode ini.
MEMPERBARUI
Juga lihat jawaban @gilles. Sarannya lebih baik. Alih-alih memindahkan semua /usr
folder ke kartu eksternal, cukup pindahkan /usr/lib/sagemath
ke kartu eksternal karena menempati sekitar 3.1GB instalasi Anda. Jadi, di Metode # 2 , Anda bisa memindahkan folder ini /usr
.