$gedit ~/.bashrc #在终端中输入该命令,会进入一个文件
文件打开后直接翻到最后面可以找到
source ~/catkin_ws/devel/setup.bash
将一些重复多余的配置删除就可以了
或者终端输入:$ echo "source ~/catkin_ws/devel/setup.bash">>~/.bashrc
本文介绍如何在~/.bashrc文件中正确配置source ~/catkin_ws/devel/setup.bash命令,以避免重复配置带来的问题,并提供两种实用的方法来解决这一问题。
$gedit ~/.bashrc #在终端中输入该命令,会进入一个文件
文件打开后直接翻到最后面可以找到
source ~/catkin_ws/devel/setup.bash
将一些重复多余的配置删除就可以了
或者终端输入:$ echo "source ~/catkin_ws/devel/setup.bash">>~/.bashrc
3827
1416