[
http://jira.jboss.com/jira/browse/JBDS-103?page=comments#action_12406055 ]
Snjezana Peco commented on JBDS-103:
------------------------------------
eclipse.buildId is defined in the config.ini file
(<eclipse_install>/configuration/config.ini).
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