how to change my source directory

catkin_make
catkin_ws

asked 2013-11-12 08:50:33 -0600

Jessica
1 ●1 ●1 ●2

updated 2013-11-14 12:31:33 -0600

tfoote

58457 ●128 ●550 ●526 http://www.ros.org/

I just changed my username and name of my home directory. Now I cannot use catkin_make because the source directory's name has been changed. How can I update, or change my source directory of catkin_ws?

edit retag flag offensive close merge delete

add a comment

2 Answers

Sort by » oldest newest most voted

answered 2013-11-12 11:05:57 -0600

lindzey
1775 ●18 ●31 ●42

Have you tried removing catkin_ws/{build, devel} and running catkin_make again?

edit flag offensive delete link

add a comment

answered 2019-09-20 10:00:22 -0600

raushan
1 ●1 ●1

Just run it and enjoy.

cd ~/catkin_ws/ && rm -r build devel && catkin_make

edit flag offensive delete link

add a comment

how to change my source directory

2 Answers

Question Tools

Stats

Related questions

how to change my source directory edit

2 Answers

Question Tools

Stats

Related questions

how to change my source directory