ROS Resources: Documentation | Support | Discussion Forum | Index | Service Status | ros @ Robotics Stack Exchange
Ask Your Question

Revision history [back]

Finally I solved!

My SSH was not using bash as shell.

For other users this can be simply verified starting SSH and typing

echo $0

the result should be

-bash

if bash is used. If you are using another shell type you change it editing /etc/passwd following this sample john:x:1000:1000:john,,,:/home/john:/bin/bash (john is a fake user, you should have your username here ;-) ). The /bin/bash specify the shell type.

In my case a rebuild of the workspace (clean and make) was needed too to make it working...