4.16 Удаление пакетов из Personal catkin Directory
Чтобы удалить пакет, установленный в вашем личном каталоге catkin, сначала удалите весь исходный каталог пакета или переместите его в другое место за пределами ROS_PACKAGE_PATH. Например, чтобы удалить пакет с именем my_catkin_package из каталога ~ / catkin_ws / src, выполните команды:
$ cd ~/catkin_ws/src
$ \rm -rf my_catkin_package
Вы также должны удалить все объекты сборки catkin. К сожалению, не существует (простого) способа сделать это только для удаленного вами пакета - вы должны удалить все объекты сборки для всех пакетов, а затем повторно запустить catkin_make:
ВНИМАНИЕ! Не включайте каталог src в команду rm ниже, иначе вы потеряете все ваши личные исходные файлы catkin!
$ cd ~/catkin_ws
$ \rm -rf devel build install $ catkin_make
$ source devel/setup.bash
Вы можете проверить, что пакет был удален с помощью команды roscd:
$ roscd my_ros_package
который должен произвести вывод:
roscd: No such package 'my_ros_package'
Last updated
Was this helpful?