[ros-users] request for help: mirroring and better wiki exporting

[Benjamin Cohen]

This may be a very silly question but how will users who haven't bookmarked
any of the mirror sites learn the addresses of the mirrors if ros.org is
down? Is it expected that everyone should bookmark them now just in case?

-- ben



On Fri, Nov 18, 2011 at 3:10 PM, Brian Gerkey <gerkey at willowgarage.com>wrote:

> On Fri, Nov 18, 2011 at 11:50 AM, Benjamin Cohen <bencohen2 at gmail.com>
> wrote:
> > The ROS docs part of the penn mirror is now setup and the script is still
> > downloading the docs api part of the wiki. It should be done in a couple
> of
> > hours.
> >
> > Our mirror can be found at www.pennros.org.
> >
> > I updated the mirrors page (http://www.ros.org/wiki/Mirrors)
> accordingly.
>
> Fantastic, thanks!
>
>        brian.
> _______________________________________________
> ros-users mailing list
> ros-users at code.ros.org
> https://code.ros.org/mailman/listinfo/ros-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ros.org/pipermail/ros-users/attachments/20111118/5c5e5302/attachment-0004.html>