[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