jEdit Community - Resources for users of the jEdit Text Editor
Is there a way to create a local mirror for one plugin?
Submitted by patrick_toole on Wednesday, 31 March, 2010 - 04:57
I am developing a plugin that I dont necessarily believe is best served for public consumption. Is there a way for me to create a local "mirror" with only my plugin on it, without having to actually mirror everything?

Basically, I'd like my users to pull from the public mirrors, but have access to our Intranet to download an additional plugin.

Thanks.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
I don't think that jEdit can
by Robert Schwenn on Wed, 31/03/2010 - 20:43
I don't think that jEdit can use two mirrors at a time.

But when jEdit's program directory is on a server, and You copy a plugin into it's "jars" subdirectory, then this plugin is active for all users of this jEdit installation...

Robert
User login
Browse archives
« May 2025  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   108254
Context Free Art (*.cfdg)   0.31   46074
BBEdit scheme   1.0   18609
JBuilder scheme   .001   18511
ColdFusion scheme   1.0   18044
R Edit Mode - extensive version   0.1   17490
Advanced HTML edit mode   1.0   16226
Matlab Edit Mode   1.0   16088
jEdit XP icons   1.0   15248
XP icons for jEdit   1.1   14312