Re: [ros-users] Links to API in dump of Wiki

Top Page
Attachments:
Message as email
+ (text/plain)
Delete this message
Reply to this message
Author: User discussions
Date:  
To: User discussions
Subject: Re: [ros-users] Links to API in dump of Wiki
Hallo Brian,

yep, that worked :-). Would be great if you incorporated that. If that doesn't
work for you, I could also put it in the download-and-extract script I use
(and which is available at http://answers.ros.org/question/977).

Thank you,
Felix

Brian Gerkey schrieb am Montag 29 August 2011:
> On Mon, Aug 29, 2011 at 6:14 AM, Felix Endres
>
> <> wrote:
> > with the new structure in the "Package Links" on ros.org/wiki, the links
> > to the code api are now absolute. This is bad for mirrors created from
> > the dump files at http://www.ros.org/wiki_dump, as they thus point to
> > ros.org, not the mirror server.
> > Could someone fix this please (or tell me where to do it myself)?
>
> hi Felix,
>
> Thanks for the report. Looks like the problem is that the links (or
> least some of them) now point to ros.org, instead of www.ros.org,
> which makes the sed expression not match.
>
> Try the following:
>
> sed -i 's+http://ros.org/doc/+doc/+g' roswiki/*.html
>
> Let me know if that fixes the problem, and I'll add it to the dump script.
>
> > P.S: In case ros.org is down: We mirror wiki and code api at
> > http://ros.informatik.uni-freiburg.de/roswiki/
>
> Very cool!
>
> Btw, relevant tickets for wiki dumping:
> https://code.ros.org/trac/ros/ticket/3281 (includes the simple script
> we're using to make the dump)
> https://code.ros.org/trac/ros/ticket/3282
>
>     brian.
> _______________________________________________
> ros-users mailing list
> 
> https://code.ros.org/mailman/listinfo/ros-users