Am 18.11.2011 21:15, schrieb 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?
That would be the optimal case. Otherwise:
http://www.google.com/search?q=ros+mirror directly points to the
Freiburg mirror for me, I assume the others will appear soon once
they are indexed by the crawlers. Having some "landing page" which
mentions something like "ROS wiki mirror" probably helps.
Best,
Armin
--
Armin Hornung
Humanoid Robots Lab, Albert-Ludwigs-Universität Freiburg
Contact: http://www.informatik.uni-freiburg.de/~hornunga