Как переместить папку .julia в другой раздел в Ubuntu?

Я использую язык программирования Julia на Chromebook с внутренней памятью всего 32 ГБ.

Каталог в домашней папке занимает несколько гигабайт места. Этот каталог содержит все пакеты Julia (аналогичные библиотекам Python), и Джулии важно использовать эти пакеты.

У меня есть карта microSD с большим количеством свободного места. Как мне переместитькаталог на карте microSD?

Я использую Кубунту 23.04.

Источник

1 ответ

Сначала создайте раздел ext4 на карте microSD (если вы еще этого не сделали) и настройте автоматическое монтирование раздела при запуске. Убедитесь, что у вас есть доступ на запись к разделу ext4 (не требуяsudo).

Для меня этот раздел смонтирован по адресу/mnt/SDCard/.

Теперь создайте каталогjulia_dirв этом разделе.

      cd /mnt/SDCard
mkdir julia_dir

Теперь есть два варианта. Добавление переменной среды или символическая ссылка (вы можете использовать любой из них по вашему выбору).

Способ 1

Переместите содержимое на SDCard и установите переменную среды.JULIA_DEPOT_PATH=/mnt/SDCard/julia_dir

      mv ~/.julia /mnt/SDCard/julia_dir
echo 'export JULIA_DEPOT_PATH=/mnt/SDCard/julia_dir' >> ~/.bashrc
source .bashrc

Способ 2

Переместить содержимое.juliaна SDCard и символическую ссылку.

      mv ~/.julia /mnt/SDCard/julia_dir
ln -s /mnt/SDCard/julia_dir/ /home/your-username/.julia

После этого Джулия использовала/mnt/SDCard/julia_dir/на карте microSD для хранения пакетов и доступа к ним.

Источник
Другие вопросы по тегам