#!/bin/bash
ws_name="ws_ur5" # 在这里修改工作空间名称
mkdir -p ~/$ws_name/src
cd ~/$ws_name/src
catkin_init_workspace
cd ~/$ws_name/
catkin_make
rossource="source devel/setup.bash"
if grep -Fxq "$rossource" ~/.bashrc; then echo ROS setup.bash already in .bashrc;
else echo "$rossource" >> ~/.bashrc; fi
eval $rossource
最后
以上就是美满小蜜蜂最近收集整理的关于【ROS】可以一键创建工作空间的脚本的全部内容，更多相关【ROS】可以一键创建工作空间内容请搜索靠谱客的其他文章。
本图文内容来源于网友提供，作为学习参考使用，或来自网络收集整理，版权属于原作者所有。
发表评论 取消回复