не может удалить gnat-gpl-2014
Я недавно установил GNAT-GPL-2014 в Ubuntu 14.04 LTS, но я сделал ошибку, и я установил его в неправильном каталоге. Поэтому я хочу удалить его и установить его правильно, но я не знаю, как сделать это.
Спасибо!
-1
задан extrik
28 September 2016 в 20:08
поделиться
2 ответа
Спасибо все!
я решил его путем выполнения
sudo apt-get install gnat
, и затем я установил все рекомендуемые пакеты. Теперь затмение действительно распознает GNAT.
Еще раз спасибо!
0
ответ дан extrik
28 September 2019 в 12:30
поделиться
Я нашел это в doinstall.sh файле:
Для установки GNAT необходимо указать базовый каталог. Все файлы будут установлены в подкаталогах, которые создаются в соответствии с этим каталогом.
Это кажется, что можно просто удалить весь базовый каталог, который Вы указали в установке, и переустановите к новому каталогу. В doinstall.sh файле нет никакого метода удаления.
0
ответ дан labarna
28 September 2019 в 12:30
поделиться