Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Eclipse Platform » Proxy Settings and plugincustomization, core.net.prefs
Proxy Settings and plugincustomization, core.net.prefs [message #324943] Mon, 04 February 2008 18:00 Go to next message
jean francois morard is currently offline jean francois morardFriend
Messages: 1
Registered: July 2009
Junior Member
Hi,

I'm actually packaging a relocatable eclipse/maven/tomcat package (and it
works pretty fine ;)) thanks to the plugincustomization option of the
eclipse runtime. But I'm still having a problem with the proxy settings.
When I export my preferences I can see the proxy options in my preference
file. But when I launch eclipse with the pluginoptimization option ...
nothing in the proxy preferences window.

I've found out that the proxy properties where actually stored in the
workspace metadata in the
plugins/org.eclipse.core.runtime/.settings/org.eclipse.core. net.prefs
file. So I tried, as a guess, to put this file in the configuration folder
of my eclipse folder (hope you follow). I tried in configuration/.settings
and in configuration/org.eclipse.net.prefs/.settings ... No results either.

Is there any way I can set proxy settings in eclipse once and for all ? Is
it possible to edit one the eclipse .jar to store the proxy preferences
for good ? Is it possible to copy by default a proxy pref file when a
workspace is created ?

Thanks in advance for any reply

Manu
Re: Proxy Settings and plugincustomization, core.net.prefs [message #324979 is a reply to message #324943] Tue, 05 February 2008 08:47 Go to previous messageGo to next message
Eclipse UserFriend
Originally posted by: aaa.aaa.com

up
Re: Proxy Settings and plugincustomization, core.net.prefs [message #325029 is a reply to message #324943] Wed, 06 February 2008 12:27 Go to previous message
Eclipse UserFriend
Originally posted by: pouet.pouet.com

Up
Previous Topic:Windows Vista: User Access Control (UAC)
Next Topic:Replacement for getDescriptor().getPluginClassLoader()
Goto Forum:
  


Current Time: Sat Apr 27 02:06:20 GMT 2024

Powered by FUDForum. Page generated in 0.02570 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top