$gedit ~/.bashrc #在终端中输入该命令,会进入一个文件
文件打开后直接翻到最后面可以找到
source ~/catkin_ws/devel/setup.bash
将一些重复多余的配置删除就可以了
或者终端输入:$ echo "source ~/catkin_ws/devel/setup.bash">>~/.bashrc
$gedit ~/.bashrc #在终端中输入该命令,会进入一个文件
文件打开后直接翻到最后面可以找到
source ~/catkin_ws/devel/setup.bash
将一些重复多余的配置删除就可以了
或者终端输入:$ echo "source ~/catkin_ws/devel/setup.bash">>~/.bashrc