... | ... | @@ -71,7 +71,7 @@ mkdir -p $HOME/TDDE05 |
|
|
kate $HOME/TDDE05/.domain_id
|
|
|
```
|
|
|
|
|
|
In the domain id set your group number. For example, if you are in group 12, the file should contain ``12``.
|
|
|
In the `.domain_id` file set your group number. For example, if you are in group 12, the file should contain ``12``.
|
|
|
|
|
|
### Every time you open a new terminal, before issuing a ROS command, you will need to run:
|
|
|
|
... | ... | |