[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-users
Subject:    [ jEdit-users ] How to use automatic proxy configuration script with jEdit ?
From:       Matthew Gavin <Matt.Gavin () rockwellcollins ! com>
Date:       2020-07-02 16:07:32
Message-ID: CAMmmB0WX54C8pMqy07bK=CzDOebMGUZhPMQGokR-Eo04FmDn+w () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


jEdit users -

I use jEdit at work where (from looking at my Chrome install) we connect to
the internet using an automatic proxy script. This proxy is set by an
automatic proxy configuration url (PAC).

I am not sure how to setup this automatic proxy configuration in jEdit. I
know there is a "Proxy Servers" settings tab in "Global Options". But there
is no place where I can put the automatic proxy configuration url. The
downside of this is that I can't install or upgrade jEdit or jEdit Plugins
through the Plugin Manager until I get this working.  (Plugin Manager just
shows "Loading..." when I select its Update or Install tabs as I look to
download the plugins.)

Any help will be greatly appreciated.

Thanks,

   Matt Gavin
   Collins Aerospace

[Attachment #5 (text/html)]

<div dir="ltr"><span style="color:rgb(0,0,0);font-family:&quot;Times New \
Roman&quot;;font-size:medium">jEdit users -</span><div><span \
style="color:rgb(0,0,0);font-family:&quot;Times New \
Roman&quot;;font-size:medium"><br></span></div><div><span \
style="color:rgb(0,0,0);font-family:&quot;Times New Roman&quot;;font-size:medium">I \
use jEdit at work where (from looking at my Chrome install) we connect to the \
internet using an automatic proxy script. This proxy is set by an automatic proxy \
configuration url (PAC).</span><br style="color:rgb(0,0,0);font-family:&quot;Times \
New Roman&quot;;font-size:medium"><span \
style="color:rgb(0,0,0);font-family:&quot;Times New \
Roman&quot;;font-size:medium"><br></span></div><div><span \
style="color:rgb(0,0,0);font-family:&quot;Times New Roman&quot;;font-size:medium">I \
am not sure how to setup this automatic proxy configuration in jEdit. I know there is \
a &quot;Proxy Servers&quot; settings tab in &quot;Global Options&quot;. But there is \
no place where I can put the automatic proxy configuration url. The downside of this \
is that I can&#39;t install or upgrade jEdit or jEdit Plugins through the Plugin \
Manager until I get this working.   (Plugin Manager just shows &quot;Loading...&quot; \
when I select its Update or Install tabs as I look to download the \
plugins.)</span><br style="color:rgb(0,0,0);font-family:&quot;Times New \
Roman&quot;;font-size:medium"><br style="color:rgb(0,0,0);font-family:&quot;Times New \
Roman&quot;;font-size:medium"><span style="color:rgb(0,0,0);font-family:&quot;Times \
New Roman&quot;;font-size:medium">Any help will be greatly \
appreciated.</span><div><br></div><div><font color="#000000" face="Times New Roman" \
size="3">Thanks,</font></div><div><br></div><div>     Matt Gavin</div><div>     \
Collins Aerospace<br clear="all"><div><div dir="ltr" class="gmail_signature" \
data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div \
dir="ltr"><br></div></div></div></div></div></div></div></div>





-- 
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users


[prev in list] [next in list] [prev in thread] [next in thread]