Skip to content
Snippets Groups Projects
Commit 014cb401 authored by David Tiede's avatar David Tiede
Browse files

Source the config or catkin build fails

parent 541d90b5
No related branches found
No related tags found
No related merge requests found
Pipeline #8252 failed
...@@ -39,6 +39,7 @@ instructions further below in this document. Please note that the setup uses vnc ...@@ -39,6 +39,7 @@ instructions further below in this document. Please note that the setup uses vnc
- `git clone https://git-st.inf.tu-dresden.de/ceti/ros/sample_applications.git` **or** `git clone git@git-st.inf.tu-dresden.de:ceti/ros/sample_applications.git` - `git clone https://git-st.inf.tu-dresden.de/ceti/ros/sample_applications.git` **or** `git clone git@git-st.inf.tu-dresden.de:ceti/ros/sample_applications.git`
- change into the workspace main directory `cd ..` - change into the workspace main directory `cd ..`
- install ROS package dependencies `rosdep install -i --from-paths .` - install ROS package dependencies `rosdep install -i --from-paths .`
- source the config: `source /opt/ros/melodic/setup.bash`
- build the workspace `catkin build` - build the workspace `catkin build`
- source the config: depending on your shell - source the config: depending on your shell
- `source devel/setup.bash` (default) - `source devel/setup.bash` (default)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment