[jbosstools-issues] [JBoss JIRA] (JBIDE-16247) Replace https://www.jboss.org/products/jbds.html with https://www.jboss.org/products/jdevstudi.html

Nick Boldt created JBIDE-16247: ---------------------------------- Summary: Replace https://www.jboss.org/products/jbds.html with https://www.jboss.org/products/jdevstudi.html Key: JBIDE-16247 URL: https://issues.jboss.org/browse/JBIDE-16247 Project: Tools (JBoss Tools) Issue Type: Feature Request Reporter: Nick Boldt Naming convention w/ Red Hat JBoss Developer Studio in URLs and file paths is as follows: a) if there's no part of the URL or filename with "jboss" in it, then use "jbdevstudio" b) if some part of the URL or filename has "jboss" in it, then use "devstudio" There is no convention that uses "jbds". Therefore, as [~maxandersen] said: {quote} can we also stop using jbds.html and instead devstudio.html since devstudio is what is used everywhere else ? {quote} This can either be done as a redirect from one page to the other, or simply by renaming the page (assuming that all links to it can be caught and updated too, eg. this page https://www.jboss.org/products/#DT -> "Information" -> https://www.jboss.org/products/jbds.html ) -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira