ROS Resources: Documentation | Support | Discussion Forum | Index | Service Status | ros @ Robotics Stack Exchange |
1 | initial version |
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...