Possible types for roslaunch args

asked 2016-11-24 14:17:09 -0500

antonio gravatar image

What types can an arg in a launchfile be?

For example, can it be a list?

<arg name='my_friends' value='["antonio", "beppe", "carlo", "davide"]'/>

If so, how would I access the elements of the list? Something along the lines of

<group ns=$(arg my_friends)[0]>
</group>
edit retag flag offensive close merge delete