3 Nov 2005 22:05
[ jedit-Plugin Central Submission-1347676 ] LilyPondTool 0.2.9
SourceForge.net <noreply <at> sourceforge.net>
2005-11-03 21:05:09 GMT
2005-11-03 21:05:09 GMT
Plugin Central Submission item #1347676, was opened at 2005-11-03 22:05 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1347676&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Priority: 5 Submitted By: Bertalan Fodor (fodber) Assigned to: Nobody/Anonymous (nobody) Summary: LilyPondTool 0.2.9 Initial Comment: 1. Name: LilyPondTool 2. Version Number: 0.2.9 3. Requirements: JRE 5.0 jEdit 4.2final ErrorListPlugin 1.3.2 SideKickPlugin 0.3.3 TemplatesPlugin 3.3.0 ConsolePlugin 4.1.2 JakartaCommonsPlugin 0.4.3(Continue reading)
What to do? You can always
make a release available on the community site or any webserver you can push
files to and send out an announcement to the user list.
An enhancement to the plugin manager would be to allow a choice between the
"approved" version and the author's latest release (with some reasonable
warning about the security/stability consequences). But I wouldn't favor
that unless there was a way to vet plugin authors. A very high-value service
the current method provides is having a trusted person review your work and
build it from source. That gives me lots of confidence when I use the plugin
manager and I don't want to give that up.
"release early and release often" doesn't mean release just any old thing. I
don't say that to disparage your work. I'm assume you apply high standards.
It's just that when I download a jEdit plugin I'm giving it free reign on my
machine which is not a small thing. If you have eager users who want to stay
update with the latest and greatest, it's not hard to for them to copy a jar
file into the right place.
RSS Feed