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
« November 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
 
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   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300