建立工作區
要建立工作區,應在終端中執行以下命令:
$ mkdir -p ~/workspace_name/src
$ cd ~/workspace_name/src
$ catkin_init_workspace
$ cd ~/workspace_name/
$ catkin_make
先前的命令建立名為 workspace_name
的工作空間。建立工作區後,請務必使用它來處理它:
$ source ~/workspace_name/devel/setup.bash
要建立工作區,應在終端中執行以下命令:
$ mkdir -p ~/workspace_name/src
$ cd ~/workspace_name/src
$ catkin_init_workspace
$ cd ~/workspace_name/
$ catkin_make
先前的命令建立名為 workspace_name
的工作空間。建立工作區後,請務必使用它來處理它:
$ source ~/workspace_name/devel/setup.bash