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 2024  
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   82817
Context Free Art (*.cfdg)   0.31   46055
BBEdit scheme   1.0   18595
JBuilder scheme   .001   18495
ColdFusion scheme   1.0   18024
R Edit Mode - extensive version   0.1   17473
Advanced HTML edit mode   1.0   16206
Matlab Edit Mode   1.0   16068
jEdit XP icons   1.0   15229
XP icons for jEdit   1.1   14293