[
http://jira.jboss.com/jira/browse/RHDS-302?page=comments#action_12387311 ]
Max Andersen commented on RHDS-302:
-----------------------------------
scratch that: just set it in config.ini
# The default workspace location
osgi.instance.area.default=(a)user.home/workspace
Change default workspace for rhds to a non-space version
---------------------------------------------------------
Key: RHDS-302
URL:
http://jira.jboss.com/jira/browse/RHDS-302
Project: Red Hat Developer Studio
Issue Type: Feature Request
Components: Build
Affects Versions: 1.0.0.CR1
Reporter: Max Andersen
Priority: Critical
Fix For: 1.0.0.GA
Because of the issues with spaces in names for both jboss AS and hibernate annotation
used in hibernate tools we should see if we could change the default from
${user.home}/workspace to ${rhdshome}/workspace
--
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