[ros-users] ROS Wiki search

Gonçalo Cabrita goncabrita at gmail.com
Wed Oct 9 10:33:53 UTC 2013


Thanks Dirk!!!

It's looking much better now!

The whole wiki changes and the move to catkin have been messing everything up for me! It's been a real pain keeping up!

Best regards,

Gonçalo Cabrita

On Oct 8, 2013, at 9:03 PM, Dirk Thomas <dthomas at osrfoundation.org> wrote:

> The Wiki search results have been really bad in the recent past.
> Most of the time even the search for a package name did not result in showing the corresponding ROS wiki page in the result set.
> 
> I have updated the custom Google search and it seems to return much more reasonable results now.
> If you have abandoned the Wiki search box because of that you might want to give it another try next time you look for something...
> 
> Cheers,
> - Dirk
> _______________________________________________
> ros-users mailing list
> ros-users at code.ros.org
> http://lists.ros.org/mailman/listinfo/ros-users



More information about the ros-users mailing list