Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
mapping_integration_web [2018/02/14 13:57] mgp3202018 [Liste des packages utilisés] |
mapping_integration_web [2019/04/25 14:08] 127.0.0.1 external edit |
||
|---|---|---|---|
| Line 24: | Line 24: | ||
| Tous ces packages peuvent être installés en utilisant la commande : | Tous ces packages peuvent être installés en utilisant la commande : | ||
| sudo apt-get install ros-<ros_distribution>-<ros_package> | sudo apt-get install ros-<ros_distribution>-<ros_package> | ||
| + | La liste des packages disponibles sur une distribution ROS peut être affichée comme ceci : | ||
| + | apt-cache search ros-<ros_distribution> | ||
| Pour Pepper, il faut utiliser ROS Kinetic (installable sur Ubuntu 16.04).\\ | Pour Pepper, il faut utiliser ROS Kinetic (installable sur Ubuntu 16.04).\\ | ||