编译完毕后键⼊
$ echo "source ~/catkin_ws/devel/setup.bash" >> ~/.bashrc
$ source ~/.bashrc

本文分析这两条命令:echo 与source,以及setup.bash文件与.bashrc两个文件。

这段代码来自imu在linux ros下的安装

打开Terminal,键⼊以下命令完成Catkin Workspace初始化
$ cd ~
$ mkdir -p ~/catkin_ws/src
之后将源代码包解压缩到~/catkin_ws/src⽬录,进⼀步执⾏
$ cd ~/catkin_ws
$ catkin_make
编译完毕后键⼊
$ echo "source ~/catkin_ws/devel/setup.bash" >> ~/.bashrc
$ source ~/.bashrc
即完成了驱动安装。

首先解释其作用:

编译完毕后键⼊
$ echo "source ~/catkin_ws/devel/setup.bash" >> ~/.bashrc
#echo写入,把source 这条命令写入.bashrc这个文件里。
#source的意思是立即运行,那么运行这个bash文件是干啥呢?
$ source ~/.bashrc
# .bashrc文件是电脑用户打开就会加载的文件,所以相当于一种永久性配置。在这里面,你可以写“命令简写”等方便,也可以加载一些软件配置。不source话,会下次生效。所以一般会source一下,立即运行

这篇文章讲解了什么是.bashrc

https://linux.cn/article-9298-1.html

   为了加载你的配置,bash 在每次启动时都会加载 .bashrc 文件的内容。每个用户的 home 目录都有这个 shell 脚本。它用来存储并加载你的终端配置和环境变量。

Logo

更多推荐