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/