Steps
1) Fresh Ubuntu install (12.04 LTS)
2) Install jedit
sudo echo "deb http://switch.dl.sourceforge.net/project/jedit /" > /etc/apt/sources.list.d/jedit.list
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 486ABAF7A2D417C5
sudo apt-get update
apt-get install jedit
3) Start jedit :: Utilities -> Global Options -> Plugin Manager -> Update mirror list
4) [Expected]: updated list.
[Actual]: I/O error dialog with 403 error.
More details:
java.io.IOException: Server returned HTTP response code: 403 for URL: http://plugins.jedit.org/export/mirror_list.php
at sun.net.www.protocol.http.HttpURLConnection.getInputStream(HttpURLConnection.java:1627)
at java.net.URL.openStream(URL.java:1037)
at org.gjt.sp.jedit.pluginmgr.MirrorList.downloadXml(MirrorList.java:146)
at org.gjt.sp.jedit.pluginmgr.MirrorList.<init>(MirrorList.java:60)
at org.gjt.sp.jedit.options.PluginManagerOptionPane$UpdateMirrorsThread._run(PluginManagerOptionPane.java:316)
at org.gjt.sp.util.Task.run(Task.java:64)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615)
at java.lang.Thread.run(Thread.java:745)
curl -I http://plugins.jedit.org/export/mirror_list.php
HTTP/1.1 200 OK
Server: Apache/2.2.15 (CentOS)
Vary: Host, Accept-Encoding, User-Agent
Cache-Control: max-age=172800
Expires: Tue, 10 Feb 2015 20:44:43 GMT
X-Varnish: 449048826
Content-Length: 5071
Content-Type: text/plain
Date: Sun, 08 Feb 2015 20:44:43 GMT
Age: 53
Via: 1.1 varnish, 1.1 XXXX-proxy-4.XXXXXX.com:80 (Cisco-WSA/8.0.6-119)
Connection: keep-alive
12:31:29 PM [main] [message] Log: When reporting bugs, please include the following
information:
12:31:29 PM [main] [message] Log: java.version=1.7.0_76
12:31:29 PM [main] [message] Log: java.vm.version=24.76-b04
12:31:29 PM [main] [message] Log: java.vm.name=Java HotSpot(TM) 64-Bit Server VM
12:31:29 PM [main] [message] Log: java.runtime.version=1.7.0_76-b13
12:31:29 PM [main] [message] Log: java.runtime.name=Java(TM) SE Runtime Environment
12:31:29 PM [main] [message] Log: java.vendor=Oracle Corporation
12:31:29 PM [main] [message] Log: java.compiler=null
12:31:29 PM [main] [message] Log: os.name=Linux
12:31:29 PM [main] [message] Log: os.version=3.13.0-45-generic
12:31:29 PM [main] [message] Log: os.arch=amd64
12:31:29 PM [main] [message] Log: user.home=/home/local/ANT/rothwell
12:31:29 PM [main] [message] Log: java.home=/usr/lib/jvm/jdk1.7.0_76/jre
12:31:29 PM [main] [message] Log: java.class.path=/usr/share/jEdit/jedit.jar
12:31:30 PM [main] [notice] jEdit: jEdit version 5.2.0
Description: Ubuntu 12.04.5 LTS
Release: 12.04
Codename: precise
Submitted | trothwell - 2015-02-08 21:16:36.772000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | Plugin Manager debian |
Status | pending | Group | severe bug |
Resolution | works-for-me |
2015-02-09 03:01:24.075000 ezust |
- **status**: open --> pending-works-for-me |
---|---|
2015-02-09 03:01:24.531000 ezust |
403 is forbidden error. My guess is this is something that is being imposed on you
by your firewall settings, because I can access that URL fine from my own network
without getting 403 error.
|
2015-02-09 06:23:24.606000 trothwell |
In the bug, I posted the curl response for that URL same box and same |
2015-02-09 14:59:54.440000 ezust |
- **labels**: Plugin Manager --> Plugin Manager, debian |
2015-02-09 14:59:54.847000 ezust |
Interesting. Do you have the same problem if you use the java installer and install jedit into your home directory? Because I am unable to reproduce this on my end with my version. But I do not use the debian installer. |
2015-02-09 19:00:30.494000 trothwell |
I'll give the java installer a try later in the week (Wed). I'm short on time at the moment. |