[jedit:plugin-bugs] #1924 XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's working directory

- **assigned_to**: Eric Le Lay
- **Comment**:

Let's look into this!



---

**[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:** Tue Aug 08, 2023 03:50 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