Re: [ros-users] Wiki Dump

On Fri, Nov 11, 2011 at 7:35 AM, Felix Endres
<endres@informatik.uni-freiburg.de> wrote:
> The following solved the problem localy:
> $ find -type f -name '*.html' -print0 | xargs -0 sed -i 's#www.ros.org/##g'
> hence http://ros.informatik.uni-freiburg.de/roswiki/ is browsable again.

That's pretty much what I was thinking. Thanks for confirming that it
was sufficient. I changed the export script and kicked off another
job. There should be a good tarball in a couple of hours.

    brian.