[seqfan] Re: editing in the OEIS wiki
Alonso Del Arte
alonso.delarte at gmail.com
Sun May 30 17:54:40 CEST 2010
Maybe Charles knows a better way, but the only thing I can think of is
writing a bot. The bot would have its own account, and once deployed it
would go to each individual page looking for the thing to be corrected or
changed and do it. Wikipedia for example has the Full-date unlinking bot <
http://en.wikipedia.org/wiki/User:Full-date_unlinking_bot> which went around
removing links to month, day and year pages.
On Sun, May 30, 2010 at 8:12 AM, N. J. A. Sloane <njas at research.att.com>wrote:
> I am not yet used to editing wiki pages. Does anyone know how
> to do simple "ed"-type edits?
> Like g/bad/s//good/g ?
> Or "dot", meaning "repeat the previous substitution" ?
> It would be a giant step backwards if these aren't available!
> I would also like to know how to make the same change across
> a whole set of pages. For example, suppose I need to change
> "intger" in every page where it appears to "integer" ?
> Can it be that the wikimedia software is so primitive
> that it doesn't have these commands?
> At present the whole OEIS is in one flat file, so it is
> trivial to make global edits. If I want to edit a bunch of files,
> I write a little shell program. In unix, everything is easy.
> But in wikimedia, what does one do?
> Seqfan Mailing list - http://list.seqfan.eu/
More information about the SeqFan