[jbosstools-issues] [JBoss JIRA] Commented: (RHDS-302) Change default workspace for rhds to a non-space version

Max Andersen (JIRA) jira-events at lists.jboss.org
Tue Nov 13 10:46:57 EST 2007


    [ 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=@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

        



More information about the jbosstools-issues mailing list