Menu
▾
▴
[ jEdit-devel ] [ jedit-Plugin Feature Requests-2930154 ] updater plugin options
|
From: SourceForge.net <no...@so...> - 2010-02-27 22:45:58
|
Plugin Feature Requests item #2930154, was opened at 2010-01-12 00:39 Message generated for change (Settings changed) made by shlomy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=997936&aid=2930154&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: Closed Priority: 5 Private: No Submitted By: Alan Ezust (ezust) >Assigned to: Shlomy Reinstein (shlomy) Summary: updater plugin options Initial Comment: Perhaps updater's options should be updated. We probably want to offer 3 (or 4?) choices. 1: latest stable release, 2: latest stable snapshot (is that available yet?) 3: latest devel release (which at the moment is the same thing, but won't be so for long) 4. latest snapshot ---------------------------------------------------------------------- >Comment By: Shlomy Reinstein (shlomy) Date: 2010-02-28 00:45 Message: Implemented in SVN rev. 17399. ---------------------------------------------------------------------- Comment By: Townsfolk (elberry) Date: 2010-01-14 02:42 Message: Ah. right, sorry. I meant 2 and 4. I've renamed the jEdit_4.3 daily to jEdit_stable. It's still running off the 4.3.x branch, are we going to rename the branch to "stable" as well? or are just going to create a new one when 4.4 is released? ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2010-01-12 07:02 Message: I meant #2 and #4 are the dailies, and #1 and #3 are the releases (and currently, #1 is the same as #3, but once we release 4.3.1 and 4.4pre1, then they will be different. ---------------------------------------------------------------------- Comment By: Townsfolk (elberry) Date: 2010-01-12 01:49 Message: I think #2, and #3 are the dailies right? I'll be changing the current 4.3 daily over to be "stable", or "release". So we'll have 2 dailies for jEdit core: "trunk", and "stable" or "release". ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=997936&aid=2930154&group_id=588 |