Re: [ jEdit-announce ] jEdit 5.4.0 is out!
Peter Rockett <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
Right. So what is the suggested method of updating to the latest official release? A reinstall? FWIW: The updater gives you a list of options, one of which is the latest official release. Th implication is that it's broken... P. On 19/03/17 19:40, Alan Ezust wrote: > The Updater plugin for doing anything other than daily builds has not > been tested in a long time and probably needs to be updated itself. > > > On Sun, Mar 19, 2017 at 12:36 PM, Peter Rockett > <[email protected] <mailto:[email protected]>> wrote: > > 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] > <mailto:[email protected]> > https://lists.sourceforge.net/lists/listinfo/jedit-users > <https://lists.sourceforge.net/lists/listinfo/jedit-users> > > ------------------------------------------------------------------------------ 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