#!/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