Re: [ros-dev] Alternate shell?