Re: [eclipse-dev] Platform tips and tricks wiki created

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [eclipse-dev] Platform tips and tricks wiki created

From: Wim Jongman <wim.jongman@xxxxxxxxx>
Date: Mon, 11 Jun 2018 22:09:12 +0200
Delivered-to: eclipse-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/eclipse-dev>
List-help: <mailto:eclipse-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/eclipse-dev>, <mailto:eclipse-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/eclipse-dev>, <mailto:eclipse-dev-request@eclipse.org?subject=unsubscribe>

I suggest we replace the wiki page by a documentation about how to contribute to this list, and create a dedicated TipProvider that reads this list directly to present it in the Tip of the Day dialog (with other tip providers).

The strategy is to do it the other way around.. Editing wiki pages is really easy, literally everybody can compile a tip in one or two minutes. It is also a very easy source for a TipProvider. Periodically we can harvest the wiki and move the evergreens to the "Tips and Tricks" html page.

Cheers,

Wim

Follow-Ups:
- Re: [eclipse-dev] Platform tips and tricks wiki created
  - From: Mickael Istria

References:
- [eclipse-dev] Platform tips and tricks wiki created
  - From: Lars Vogel
- Re: [eclipse-dev] Platform tips and tricks wiki created
  - From: Daniel Megert
- Re: [eclipse-dev] Platform tips and tricks wiki created
  - From: Mickael Istria

Prev by Date: Re: [eclipse-dev] Platform tips and tricks wiki created
Next by Date: Re: [eclipse-dev] Platform tips and tricks wiki created
Previous by thread: Re: [eclipse-dev] Platform tips and tricks wiki created
Next by thread: Re: [eclipse-dev] Platform tips and tricks wiki created
Index(es):
- Date
- Thread

Breadcrumbs