Moin Florian, *,
On Wed, May 14, 2008 at 10:48:32PM +0200, Florian Effenberger wrote:
>
>> Wir sollten zukünftig /DE/Name_der_Seite anstelle von
>> DE:Name_der_Seite nehmen (entsprechend auch für De: oder de:):
>> also statt:
>> http://wiki.services.openoffice.org/wiki/DE:Marketing_Start
>> künftig:
>> http://wiki.services.openoffice.org/wiki/DE/Marketing_Start
>
> danke dass du so schnell nachgehakt hast! Ich versuch, dran zu denken. ;-)
mach das ... ;)
> Wichtig wäre bei dem Bot auch, dass er alle Links ausspuckt, damit wir
> im CVS danach suchen können. Einige Seiten sind dort so verlinkt.
Da könntest du auch in deiner lokalen Version nach greppen ... ;)
Also in etwa so: grep -Ri "DE\:" /pfad/zum/cvs
oder so ... Und vielleicht per sed/perl/sonstwas das direkt ersetzen
lassen ... ;) Wir müssten dann aber auch einige PDFs/SXWs ändern,
oder nicht?
> Eventuell wäre ein Parallelbetrieb gut, bis die Seiten im CVS auch
> umgestellt sind.
Stimmt.
Bis dann
Thomas.
--
Now let the song begin! Let us sing together
Of sun, star, moon and mist, rain and cloudy weather,
Light on the budding leag, dew on the feather,
Wind on the open hill, bells on the heather,
Reeds by the shady pool, lilies on the water:
Old Tom Bombadil and the River-daughter!
-- J. R. R. Tolkien
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
