|
||||||||
|
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 |
||||||||
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
For more options, visit https://groups.google.com/d/optout.
We don't use the Keyboard Plugin either, but as noted above, IDs may be useful for Scrapping/Browser-Automation or for future Plugins. I vote for stripping spaces or replacing them by "-", "_" or even "%20" (html5 only). Latter solution has the advantage of generic URL encoding being possible to apply on all special chars, and URL fragments being the same as paths for the jobs. So jenkins/#My%20Job would jump to the "My Job" row, while jenkins/My%20Job would jump to the job's dashboard.