Eclipse Community Forums: Oomph » Change default workspace name?

Home » Eclipse Projects » Oomph » Change default workspace name?(Setup wizard defaults)

Change default workspace name? [message #1823988]

Mon, 06 April 2020 04:17

Eclipse User

Hello,

How can I change the default workpace name that appears in the Workspace Location Rule combo box in the setup wizard from ws to workspace, so that this is what appears without the need to manually change it in the wizard itself. We are currently migrating to using Oomph in our build from Buckminster and it would be nice to not have to change the current directory naming scheme.

I'm aware that, once set, the value gets written into the user's user.setup file as an attributeRule but it would be good if every user didn't have to do this when they start using the new system. Is it possible to put such an attributeRule in the project setup file (or one of the others) to achieve this as that didn't seem to work when I tried it.

Re: Change default workspace name? [message #1824004 is a reply to message #1823988]

Mon, 06 April 2020 07:40

Eclipse User

You could take the choice away by using a variable like this in the project setup:

<?xml version="1.0" encoding="UTF-8"?>
<setup:VariableTask
    xmi:version="2.0"
    xmlns:xmi="http://www.omg.org/XMI"
    xmlns:setup="http://www.eclipse.org/oomph/setup/1.0"
    name="workspace.location"
    value="${installation.location/workspace}"/>

Re: Change default workspace name? [message #1824008 is a reply to message #1824004]

Mon, 06 April 2020 09:16

Eclipse User

Thanks Ed, that works great. What would the name of the variable to use to do the same for the git clone location rule combo?

Re: Change default workspace name? [message #1824022 is a reply to message #1824008]

Mon, 06 April 2020 11:19

Eclipse User

Each Git Clone task has a location feature so you can set each one however you like.

Previous Topic:	Logo on Eclipse Installer
Next Topic:	Lock git repo url via configuration

Goto Forum:

-=] Back to Top [=-

Current Time: Thu Jul 10 04:16:33 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter