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 [1] > > now: > > https://wiki.galaxyproject.org/ToolsWithDependenciesInSameRepository [2] > > 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/ [3] > > To search Galaxy mailing lists use the unified search at: > http://galaxyproject.org/search/mailinglists/ [4] 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/
___________________________________________________________ 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/
