Ask Your Question
0

how do i make source devel/setup.bash permanent

asked 2014-11-01 14:09:40 -0500

Nouman Tahir gravatar image

Every time i open a new terminal i have to type the following to set directories

 $ ~/catkin_ws/ source 
 $  source devel/setup.bash

and for once i forget to set it takes me a while to detect.

I wanna make this change permanent so i could skip this step

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
3

answered 2014-11-01 14:56:34 -0500

bvbdort gravatar image

you need to source in .bashrc file.


open .bashrc file by gedit .bashrc
add line source /FULL...PATH../devel/setup.bash at the end

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

2 followers

Stats

Asked: 2014-11-01 14:09:40 -0500

Seen: 3,089 times

Last updated: Nov 01 '14