4.16 Удаление пакетов из Personal catkin Directory
Чтобы удалить пакет, установленный в вашем личном каталоге catkin, сначала удалите весь исходный каталог пакета или переместите его в другое место за пределами ROS_PACKAGE_PATH. Например, чтобы удалить пакет с именем my_catkin_package из каталога ~ / catkin_ws / src, выполните команды:
Вы также должны удалить все объекты сборки catkin. К сожалению, не существует (простого) способа сделать это только для удаленного вами пакета - вы должны удалить все объекты сборки для всех пакетов, а затем повторно запустить catkin_make:
ВНИМАНИЕ! Не включайте каталог src в команду rm ниже, иначе вы потеряете все ваши личные исходные файлы catkin!
Вы можете проверить, что пакет был удален с помощью команды roscd:
который должен произвести вывод:
Last updated