I don't know if these older jEdit versions are being maintained vs. I imagine upgrading this system to ubuntu 16.04 or higher would fix it but that is not something I can dive into just now.if there's no fix for my particular situation other than that I'll have to live without jEdit for a while. That is fully updated package-wise and works fine.Īny other ideas for troubleshooting on this 14.04 system welcome. I have another system with ubuntu 16.04 on it, which packages openjdk-8 and jEdit 5.3.
Nothing else I'm aware of in recent OS upgrades would affect jEdit. the openjdk upgrade, is broken in all of those. uninstalled (complete purge) and reinstalled 5.1 I've tried the following, with same results:
The splash briefly appears, it runs through some of the launch steps, then vanishes. After the upgrade, it fails to fully launch. I was using jEdit as usual before the upgrade.
#INSTALAR JEDIT UPGRADE#
This openjdk upgrade has broken jEdit - on my xubuntu 14.04 system at least. On there was an upgrade of openjdk-7, specifically to 7u181-2.6.14-0ubuntu0.2, details here:
This is on Ubuntu 14.04, which packages openjdk-7-jdk and jEdit 5.1. Posted similar to this on the 'jedit-users' listserv - not clear whether these forums or the listservs are most appropriate so trying both. Never posted here, but been using jEdit for probably 15+ years on linux systems.
0 kommentar(er)
