Недавно я установил GNAT-GPL-2014 в Ubuntu 14.04 LTS, но я допустил ошибку, и я установил его в неправильном каталоге. Поэтому я хочу удалить его и установить его правильно, но я не знаю, как это сделать.
Спасибо!
Я нашел это в файле doinstall.sh:
Чтобы установить GNAT, вам нужно указать базовый каталог. Все файлы будут установлены в подкаталогах, созданных в этом каталоге.Похоже, вы можете просто удалить весь базовый каталог, указанный вами при установке и переустановке, в новый каталог. В файле doinstall.sh нет способа удаления.