Ask Your Question
0

Is there any command that can completely delete a package?

asked 2016-02-12 02:01:57 -0500

percy_liu gravatar image

updated 2016-02-12 02:26:00 -0500

Is there any command that can completely delete a package, which is built from sources in a catkin workspace, on Ubuntu?

edit retag flag offensive close merge delete

Comments

Please clarify: a package installed on Ubuntu/Debian using apt-get, a package built from sources in a catkin workspace, something else ..

gvdhoorn gravatar imagegvdhoorn ( 2016-02-12 02:07:53 -0500 )edit

1 Answer

Sort by ยป oldest newest most voted
1

answered 2016-02-12 02:09:46 -0500

If by completely deleting you mean "removing a repo and not making it reappear after wstool update" I don't think so. We've been using a small script that first removes a repo from a workspace and then deletes the folder afterwards: rm_from_workspace.sh (It's pretty simple, there might be nicer solutions out there).

If you really just want to get rid of a package you just have to remove the corresponding folder and that's it.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-02-12 02:01:57 -0500

Seen: 944 times

Last updated: Feb 12 '16