Проблема при создании рабочего пространства catkin - workspace = home directory - PullRequest
0 голосов
/ 04 февраля 2019

впервые у меня возникает эта проблема, и я не понимаю, почему ... Когда я хочу создать рабочую область catkin, я создаю новый каталог и выполняю catkin_make или catkin init, и фактически рабочая область всегда является моей домашней папкойне новое рабочее пространство, которое я создал.И, таким образом, каталоги build и devel также создаются в моем домашнем каталоге.Вы знаете, что мне здесь не хватает?Большое спасибо за вашу помощь

emeric@emeric-desktop:~$ cd catkin_planning_ws/
emeric@emeric-desktop:~/catkin_planning_ws$ ls
src
emeric@emeric-desktop:~/catkin_planning_ws$ catkin init
Catkin workspace `/home/emeric` is already initialized. No action taken.
---------------------------------------------------------------------------
Profile:                     default
Extending:             [env] /home/emeric/catkin_wsp/devel:/opt/ros/kinetic
Workspace:                   /home/emeric
---------------------------------------------------------------------------
Source Space:       [exists] /home/emeric/src
Log Space:         [missing] /home/emeric/logs
Build Space:       [missing] /home/emeric/build
Devel Space:       [missing] /home/emeric/devel
Install Space:      [unused] /home/emeric/install
DESTDIR:            [unused] None
---------------------------------------------------------------------------
Devel Space Layout:          linked
Install Space Layout:        None
---------------------------------------------------------------------------
Additional CMake Args:       DCMAKE_BUILT_TYPE=Release
Additional Make Args:        None
Additional catkin Make Args: None
Internal Make Job Server:    True
Cache Job Environments:      False
---------------------------------------------------------------------------
Whitelisted Packages:        None
Blacklisted Packages:        None
------------------------------------------------------
...