[jbosstools-issues] [JBoss JIRA] Commented: (JBDS-103) Enable buildid by default for splashscreen ?
[ http://jira.jboss.com/jira/browse/JBDS-103?page=comments#action_12405983 ]
Marshall Culpepper commented on JBDS-103:
-----------------------------------------
I believe this is a special property "eclipse.buildId" which is set in the
customization.ini or somewhere similar, let me see if i can dig it up... we *should* bet
setting this
Enable buildid by default for splashscreen ?
--------------------------------------------
Key: JBDS-103
URL: http://jira.jboss.com/jira/browse/JBDS-103
Project: Developer Studio
Issue Type: Feature Request
Components: Build
Affects Versions: 1.0.0.GA
Reporter: Max Andersen
Assigned To: Marshall Culpepper
Priority: Critical
Fix For: 1.0.1
I committed this to plugin customization:
# Enables the build id to show up via the default EclipseSplashHandler
# org.eclipse.ui.workbench/SHOW_BUILDID_ON_STARTUP=true
When i comment it out it shows the buildid on the splashscreen - but it says unknown
build id so I haven't enabled it yet.
should we ? and if yes, where/how is the buildid set at buildtime ?
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
http://jira.jboss.com/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira