Menu ▾ ▴

#1924 XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's working directory

None
open
Eric Le Lay
None
5
2023-09-02
2023-08-08
Alan Ezust
No

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

Discussion

  • Alan Ezust

    Alan Ezust - 2023-08-08
    • summary: XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's startup folder --> XMLPlugin leaves behind an "XMLPlugin" directory in jEdit's working directory
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -1,4 +1,3 @@
-
 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
    • Group: -->
     

  • Eric Le Lay

    Eric Le Lay - 2023-09-02
    • assigned_to: Eric Le Lay
     

  • Eric Le Lay

    Eric Le Lay - 2023-09-02

    Let's look into this!

     

  • Eric Le Lay

    Eric Le Lay - 2023-09-02

    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

     

  • Alan Ezust

    Alan Ezust - 2023-09-02

    templates.TemplatesPlugin.getTemplateDir() gives me the right thing at the moment:
    /home/ezust/.jedit/templates/
    Maybe there is some sort of activation order issue when I am starting up and projectviewer is restoring my session.

     

    Last edit: Alan Ezust 2023-09-02

Log in to post a comment.