Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 1. creare workspace nou
- in src git clone de pe github (gitclone +link)
- mkdir -p ~/nume_workspace_nou/src
- cd nume_workspace_nou
- git clone
- cd..
- catkin_make
- sa mearga:
- * in terminal:
- source devel/setup.bash
- sudo nano .bashrc sau gedit.bashrc
- ~/nume_workspace_nou/devel/setup.bash
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement