mkdir -p ~/catkin_ws/src //-p这个参数可以允许你创建一个带有子目录的文件夹
cd catkin_ws/src
catkin_init_workspace //工作空间初始化命令
创建完成后,在工作空间根目录使用catkin_make命令编译整个工作空间。
cd .. //cd catkin_ws
catkin_make
添加环境变量。
echo "source ~/catkin_ws/devel/setup.zsh" >> ~/.zshrc
至此,可以愉快地使用工作空间啦。