jEdit Community - Resources for users of the jEdit Text Editor
Problem with Proxy Configuration
Submitted by rovf on Monday, 29 December, 2008 - 10:16
I can't get Proxy Configuration right, with the effect that I can not use the Plugin Manager (connection times out).

I am behind a firewall, so I configured my Proxy settings in the same way as they work, for instance, for my Mozilla Browsers (SeaMonkey etc.). Still, jEdit seems to be unable to get through the firewall.

You can see here a screenshot of my Proxy settings:

http://img72.imageshack.us/img72/245/jeditproxyconfkg1.jpg

I'm using jEit 4.3pre13 running on Windows 2000.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
I'm not sure, that "http://pr
by Robert Schwenn on Mon, 29/12/2008 - 18:23
I'm not sure, that "http://proxyconf" is a valid host name. I'd think it should be an IP address or a matching alias. You could try "proxyconf", but I suspect this isn't the proxy itself but a kind of link.

Also, You should got to "Utilities -> Global Options -> Plugin Manager" and get the current list of Update Servers via the button and then check several servers.

BTW: jEdit 4.3pre13 hasn't been the best pre-release ever Eye-wink. I'd highly recommend an update. (But You have to uninstall the docker plugin first, because it's integrated in the core now.)

Robert
 
Also, You should got to "Util
by rovf on Thu, 08/01/2009 - 09:25
Also, You should got to "Utilities -> Global Options -> Plugin Manager" and get the current list of Update Servers via the button and then check several servers.

Well, this is of course possible only after I get the proxy problem solved Eye-wink

I'm not sure, that "http://proxyconf" is a valid host name. I'd think it should be an IP address or a matching alias. You could try "proxyconf"

That was it! By using just proxyconf, it works!

Thanks a lot.

Ronald
User login
Browse archives
« November 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300