Re: [ jEdit-announce ] jEdit 5.4.0 is out!
Alan Ezust <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CALy5K9o+99n1fU=NH26ugPCH_6XWYK1-EO+YZy_4QEDGW8XjZw@mail.gmail.com> |
Updater Plugin is currently broken, that is correct. On Sun, Mar 19, 2017 at 12:59 PM, Peter Rockett <[email protected]> wrote: > 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] > > 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] >> 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