This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GCC Wiki help needed for CompileFarm page
- From: Laurent GUERBY <laurent at guerby dot net>
- To: Thomas Schwinge <tschwinge at gnu dot org>
- Cc: Mike Stein <avr_meister at yahoo dot de>, Gerald Pfeifer <gerald at pfeifer dot com>, gcc at gcc dot gnu dot org
- Date: Fri, 26 Dec 2008 14:59:27 +0100
- Subject: Re: GCC Wiki help needed for CompileFarm page
- References: <1230296658.10192.227.camel@localhost>
On Fri, 2008-12-26 at 14:04 +0100, Laurent GUERBY wrote:
> Hi,
>
> Someone (identified as "MatthewSimoneau") renamed
>
> http://gcc.gnu.org/wiki/CompileFarm
>
> to
>
> http://gcc.gnu.org/wiki/GCC%20Compile%20Farm%20Project
>
> Which of course broke all the web links to this project
> accumulated since 2005...
>
> The problem is that I'm unable to use the "Rename" wiki function
> to go back to the original name "CompileFarm": it says the page "already
> exists". I ended up creating a new dummy "CompileFarm" page with
> a link to the new one, but if someone has a way to make
> Rename back to the original name work I'm interested (I can do a
> bruteforce copy/paste but then we'll loose the edit history).
After reviewing the moinmoin (many) bug pages, it looks like you can't
rename back to the original name, the only way out is the copy/paste and
loosing history:
http://moinmoin.wikiwikiweb.de/MoinMoinBugs/RenamePageThatWasPreviouslyPreviewed?highlight=(rename)
<<Discussion
This is a somewhat obscure trigger, but no less valid. There is a much
more common way to hit this problem, which I'm pretty sure has the same
root cause. Just wanted to offer it as another thing to consider:
1. User renames "foo" to "bar" because it seems like a better name
2. User discovers that "foo" was the best name after all.
3. User tries to simply rename "bar" back to "foo", but is denied
with a message saying that "foo" already exists so it can't
rename
4. Look at the page "foo", and it appears to not exist, and looking
at the history shows no edits. (This is because the history
moved with the page when it got renamed the first time.
The only workaround I could come up with was to create a new page "foo",
and copy-paste the contents from "bar", then delete "bar". The problem
with this is that all of foo's history is sitting over at the deleted
page bar. Will this be fixed as part of the 1.6 changes? -- SteveDavison
2007-09-12 13:50:15
>>
So I've done the copy/paste and sorry for the noise.
Laurent