setting the default jre in eclipse via script
up vote
0
down vote
favorite
I'm trying to automate my dev environment setup using a simple bash script.
What I'm doing
- Pull down my projects.
- Run builds from the cmd line
- Use headless build application from cdt plugin to import my projects
What I'd like to do now is setup the default jre.
I've tried setting the following file to the workspace I'm in
.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.launching.prefs
But it seems to get overwritten the first time I launch the Eclipse gui.
There also seems to be some dependency on the above file relative to the location Eclipse is installed.
I've been trying all sorts of approaches to try and get this scripted but so far keep having to resort to some manually intervention via the gui.
Is the above possible to configure from a script only and to be kept workspace specific?
The following worked: http://blog.vogella.com/2012/08/07/eclipse-papercut-9-default-preference-settings-via-plugin_customization-ini-type-filter-example/
but it sets it for all Workspaces. I'd like to make the default jre workspace specific.
I'm not familiar with Oomph and would think that I could set this programmatically via script but it's been proving very difficult...
java eclipse bash automation
add a comment |
up vote
0
down vote
favorite
I'm trying to automate my dev environment setup using a simple bash script.
What I'm doing
- Pull down my projects.
- Run builds from the cmd line
- Use headless build application from cdt plugin to import my projects
What I'd like to do now is setup the default jre.
I've tried setting the following file to the workspace I'm in
.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.launching.prefs
But it seems to get overwritten the first time I launch the Eclipse gui.
There also seems to be some dependency on the above file relative to the location Eclipse is installed.
I've been trying all sorts of approaches to try and get this scripted but so far keep having to resort to some manually intervention via the gui.
Is the above possible to configure from a script only and to be kept workspace specific?
The following worked: http://blog.vogella.com/2012/08/07/eclipse-papercut-9-default-preference-settings-via-plugin_customization-ini-type-filter-example/
but it sets it for all Workspaces. I'd like to make the default jre workspace specific.
I'm not familiar with Oomph and would think that I could set this programmatically via script but it's been proving very difficult...
java eclipse bash automation
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I'm trying to automate my dev environment setup using a simple bash script.
What I'm doing
- Pull down my projects.
- Run builds from the cmd line
- Use headless build application from cdt plugin to import my projects
What I'd like to do now is setup the default jre.
I've tried setting the following file to the workspace I'm in
.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.launching.prefs
But it seems to get overwritten the first time I launch the Eclipse gui.
There also seems to be some dependency on the above file relative to the location Eclipse is installed.
I've been trying all sorts of approaches to try and get this scripted but so far keep having to resort to some manually intervention via the gui.
Is the above possible to configure from a script only and to be kept workspace specific?
The following worked: http://blog.vogella.com/2012/08/07/eclipse-papercut-9-default-preference-settings-via-plugin_customization-ini-type-filter-example/
but it sets it for all Workspaces. I'd like to make the default jre workspace specific.
I'm not familiar with Oomph and would think that I could set this programmatically via script but it's been proving very difficult...
java eclipse bash automation
I'm trying to automate my dev environment setup using a simple bash script.
What I'm doing
- Pull down my projects.
- Run builds from the cmd line
- Use headless build application from cdt plugin to import my projects
What I'd like to do now is setup the default jre.
I've tried setting the following file to the workspace I'm in
.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.launching.prefs
But it seems to get overwritten the first time I launch the Eclipse gui.
There also seems to be some dependency on the above file relative to the location Eclipse is installed.
I've been trying all sorts of approaches to try and get this scripted but so far keep having to resort to some manually intervention via the gui.
Is the above possible to configure from a script only and to be kept workspace specific?
The following worked: http://blog.vogella.com/2012/08/07/eclipse-papercut-9-default-preference-settings-via-plugin_customization-ini-type-filter-example/
but it sets it for all Workspaces. I'd like to make the default jre workspace specific.
I'm not familiar with Oomph and would think that I could set this programmatically via script but it's been proving very difficult...
java eclipse bash automation
java eclipse bash automation
asked Nov 4 at 9:51
jimgug
657
657
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53139542%2fsetting-the-default-jre-in-eclipse-via-script%23new-answer', 'question_page');
}
);
Post as a guest
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password