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 Wor...
·
编译完毕后键⼊
$ 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 脚本。它用来存储并加载你的终端配置和环境变量。
更多推荐
已为社区贡献1条内容
所有评论(0)