jEdit / Feature Requests / #503 Add option to Plugin Manager to install from file or URL.

jEdit is a programmer's text editor written in Java.

#503 Add option to Plugin Manager to install from file or URL.

Milestone: none

Status: open

Owner: nobody

Labels: plugins (30) Plugin manager (9)

Priority: 5

Updated: 2015-12-08

Created: 2015-12-08

Creator: Townsfolk

Private: No

It would be nice to have an option to install a plugin's ZIP or TGZ file from a local file, or a URL. This would allow anyone to provide jEdit plugins without them having to be open source, or go through the plugin release request. I'm thinking more in terms of proprietary plugins.

I know it's not hard to go to "Utilities" -> "Settings Directory" and select "jars", then copy the path, open in Finder or Explorer and copy the jar file(s) into that directory, but there should really be an easy way to simply select the ZIP/TGZ file from within the UI and say "install".

Discussion

Description has changed:

Diff:

--- old
+++ new
@@ -1,2 +1,4 @@
-It would be nice to have an option to install a plugin's ZIP or TGZ file from a local file, or a URL. This would allow anyone to provide jEdit plugins without them having to be open source, or go through the plugin release request. I'm thinking more in terms of proprietary plugins.  
+It would be nice to have an option to install a plugin's ZIP or TGZ file from a local file, or a URL. This would allow anyone to provide jEdit plugins without them having to be open source, or go through the plugin release request. I'm thinking more in terms of proprietary plugins. 

+I know it's not hard to go to "Utilities" -> "Settings Directory" and select "jars", then copy the path, open in Finder or Explorer and copy the jar file(s) into that directory, but there should really be an easy way to simply select the ZIP/TGZ file from within the UI and say "install".
+

Dale Anson - 2015-12-08

This seems like a very reasonable request. A similar feature for mode files was added in the last release.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Add option to Plugin Manager to install from file or URL.

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#503 Add option to Plugin Manager to install from file or URL.

Discussion