echo source 命令与 setup.bash与.bashrc文件

编译完毕后键⼊
$ 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 脚本。它用来存储并加载你的终端配置和环境变量。