Re: [ jEdit-announce ] jEdit 5.4.0 is out!
Mike Maxwell <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
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.
--
Mike Maxwell
"My definition of an interesting universe is
one that has the capacity to study itself."
--Stephen Eastmond
------------------------------------------------------------------------------
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