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.

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

« April 2024
Mo	Tu	We	Th	Fr	Sa	Su
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

file	ver	dls
GdbPlugin for jEdit 4.5+	0.5	1147
Hypersearch results analysis	1.0	2232
German Language Pack for jEdit 5 (up-to-date)	5.3	4141
Goal column macros	1.0	4028
Hyper-search all .txt files in home dir	1	3284
Select line	1.0	3444
Open_Copied_Path.bsh	1.0	8498
Select_All_or_Lines.bsh	1.0	3409
A BeanShell macro script to search and open a recent file or a file in the current directory.	1.0	5630
Select contents in between parentheses (excluding parentheses)	1.0	3539

file	ver	dls
German Localization light	4.4.2.1	82348
Context Free Art (*.cfdg)	0.31	46055
JBuilder scheme	.001	18495
BBEdit scheme	1.0	18116
ColdFusion scheme	1.0	18024
R Edit Mode - extensive version	0.1	17473
Advanced HTML edit mode	1.0	16206
Matlab Edit Mode	1.0	16068
jEdit XP icons	1.0	15229
XP icons for jEdit	1.1	14293

RSS

XML

HTML