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
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/
galaxy-dev@lists.galaxyproject.org