为了加载你的配置,bash 在每次启动时都会加载 .bashrc 文件的内容。每个用户的 home 目录都有这个 shell 脚本。它用来存储并加载你的终端配置和环境变量。
永久写入,避免每次source
方法一:
$ gedit ~/.bashrc
修改文件结尾处:
source /opt/ros/kinetic/setup.bash
source ~/catkin_ws/devel/setup.bash
方法二
$ cd ~/catkin_ws
$ catkin_make
$ echo “source ~/catkin_ws/devel/setup.bash” >> ~/.bashrc
$ source ~/.bashrc
即完成了驱动安装。
#echo写入,把source 这条命令写入.bashrc这个文件里,立即运行。
.bashrc文件是电脑用户打开就会加载的文件,所以相当于一种永久性配置。在这里面,你可以写“命令简写”等方便,也可以加载一些软件配置。不source话,会下次生效。所以一般会source一下,立即运行
来源:oschina
链接:https://my.oschina.net/u/4407242/blog/4898368