From: Alan E. <ala...@gm...> - 2014-09-30 20:01:32
|
I was mistaken. You can override a plugin in your settings directory ALSO. So I have a newer QuickNotePad.jar in my ~/.jedit/jars than the one in my $JEDIT_INSTALL_DIR/jars directory and it is enabled. On Tue, Sep 30, 2014 at 12:57 PM, Alan Ezust <ala...@gm...> wrote: > If a plugin is installed in the system directory and is updated from > Plugin Manager, the newer version will replace the older one in the same > place (provided you have write permissions). > Otherwise the update will probably fail. I just tested this with > QuickNotePad. > > > On Tue, Sep 30, 2014 at 12:35 PM, Eric Le Lay < > ker...@us...> wrote: > >> Is it possible to override a system plugin from the settings directory? >> If jEdit is installed by the system, requiring root privileges to >> update plugins shipped with the installer could prove cumbersome... >> > > |