Re: [ jEdit-announce ] jEdit 5.4.0 is out!
Peter Rockett <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
On 19/03/17 19:21, Mike Maxwell wrote: > On 3/19/2017 5:05 AM, Peter Rockett wrote: >> I have tried updating to v5.4.0 (Linux Mint 17.3) using the Updater >> plugin. Selected the Latest Official Release option, but I get an error >> as follows: >> ... >> Any ideas? The jeditInstall.jar certainly exists in the specified >> directory but is only 178 bytes. > > Have you looked at this file? At that size, I wonder if it's an error > msg. It says: <html> <head><title>301 Moved Permanently</title></head> <body bgcolor="white"> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html> Good call. It does appear to be an error message telling the URL is out-of-date and has not been updated? P. ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users