[jedit:plugin-bugs] #1924 XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's working directory
Eric Le Lay via jEdit-devel <[email protected]> Sat, 02 Sep 2023 13:44:46 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-bugs/1924/aca47625601a703c62c0552c546e963384459787.plugin-bugs@jedit.p.sourceforge.net> |
These are the templates, not schema info. This happens if for whatever reason `TemplatesPlugin.getTemplateDir()` returns null or empty string. Please can you check in beanshell? I've modified the code already[1] to not install templates when the Templates directory looks bad. [1] https://gitlab.com/jedit/plugins/xml/-/merge_requests/2 --- **[plugin-bugs:#1924] XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's working directory** **Status:** open **Group:** **Created:** Tue Aug 08, 2023 03:47 PM UTC by Alan Ezust **Last Updated:** Sat Sep 02, 2023 01:28 PM UTC **Owner:** Eric Le Lay I use XMLPlugin to edit docbook files, such as jEdit's documentation. Editing a file means that schema info is cached in an XMLPlugin directory in whichever directory I started jedit from. So I got lots of directories that look like this: /home/ezust/XMLPlugin/docbook-article-4.4.vm /home/ezust/XMLPlugin/html-frameset.vm /home/ezust/XMLPlugin/html-strict.vm /home/ezust/XMLPlugin/html-transitional.vm /home/ezust/XMLPlugin/schema-relax-ng.vm /home/ezust/XMLPlugin/schema-xsd.vm /home/ezust/XMLPlugin/xhtml-frameset.vm /home/ezust/XMLPlugin/xhtml-strict.vm /home/ezust/XMLPlugin/xhtml-transitional.vm /home/ezust/XMLPlugin/xslt-1.0.vm /home/ezust/XMLPlugin/xslt-2.0.vm jEdit 5.6.0 XMLPlugin 3.0.8 OpenJdk19, Ubuntu Linux 23.04 --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel