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   83284
Context Free Art (*.cfdg)   0.31   46056
BBEdit scheme   1.0   18596
JBuilder scheme   .001   18496
ColdFusion scheme   1.0   18025
R Edit Mode - extensive version   0.1   17474
Advanced HTML edit mode   1.0   16207
Matlab Edit Mode   1.0   16070
jEdit XP icons   1.0   15231
XP icons for jEdit   1.1   14295