Hi Peter,
the wiki uses MoinMoin. As explained in

https://moinmo.in/HelpOnProcessingInstructions#A.23redirect

you can just create a new page with the old name containing only:

#redirect NewWikiPageName

I've already done that for the page you moved.

Cheers,
Nicola

Il 02.09.2015 12:28 Peter Cock ha scritto:

Hi all,

I just renamed a page on the wiki to fix a typo:

https://wiki.galaxyproject.org/ToolsWitDependenciesInSameRepository

now:

https://wiki.galaxyproject.org/ToolsWithDependenciesInSameRepository

I didn't see any option about setting up a redirection from the old URL
(for pages linked to it, or external lines bookmarks etc).

I've searched the wiki and fixed the only internal link to this page, but
I can't see how to add a redirect.

Is there an easy way to move a page & setup a redirection in one go?

Peter
___________________________________________________________
Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
  https://lists.galaxyproject.org/

To search Galaxy mailing lists use the unified search at:
  http://galaxyproject.org/search/mailinglists/



Connetti gratis il mondo con la nuova indoona: hai la chat, le chiamate, le video chiamate e persino le chiamate di gruppo.
E chiami gratis anche i numeri fissi e mobili nel mondo!
Scarica subito l’app Vai su https://www.indoona.com/