Community
Participate
Working Groups
As discussed on the mailing list, we should re-use the content of the platform tips and tricks. Advantages are: - Offline content already available - Good quality of content - Single sourcing of content Disadvantage: - No animated gifs
Simon, please provide a Gerrit for this. I suggest hosting the tip provider in eclipse.platform.ui unless someone has a better idea.
I propose to author the tips on the wiki. The TipProvider will not directly go to the wiki. Every proposed tip will be looked at by us and put in a different location (download.eclipse.org or local) for faster access before it is added to the list of tips. In case people are afraid of content injection, we can lock a page for editing after we have approved it.
(In reply to Lars Vogel from comment #1) > Simon, please provide a Gerrit for this. I suggest hosting the tip provider > in eclipse.platform.ui unless someone has a better idea. I think it was proposed to put tips content in common. The JDT TipProvider is already there.
(In reply to Wim Jongman from comment #3) > (In reply to Lars Vogel from comment #1) > > Simon, please provide a Gerrit for this. I suggest hosting the tip provider > > in eclipse.platform.ui unless someone has a better idea. > > I think it was proposed to put tips content in common. The JDT TipProvider > is already there. +1
New Gerrit change created: https://git.eclipse.org/r/124443
Usage of jsoup requested via https://dev.eclipse.org/ipzilla/show_bug.cgi?id=16747
(In reply to Lars Vogel from comment #6) > Usage of jsoup requested via > https://dev.eclipse.org/ipzilla/show_bug.cgi?id=16747 Approved.
Gerrit change https://git.eclipse.org/r/124443 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=fbfde2b98d1ef111f03d07a904567fe188edeb9d
Please in the future never commit anything without having an approved CQ for its dependencies!
OK, my mistake, the CQ has been approved - looks like I become too angry cleaning up build issues lately, sorry about that! But still this should have been verified to build locally and it can not succeed without http://git.eclipse.org/c/platform/eclipse.platform.releng.aggregator.git/tree/eclipse.platform.releng.prereqs.sdk/eclipse-sdk-prereqs.target having it.
New Gerrit change created: https://git.eclipse.org/r/124577
Gerrit change https://git.eclipse.org/r/124577 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.releng.aggregator.git/commit/?id=f7a07b62af44dfc7b8ddb56c7bb98233b204a199
(In reply to Eclipse Genie from comment #12) > Gerrit change https://git.eclipse.org/r/124577 was merged to [master]. > Commit: > http://git.eclipse.org/c/platform/eclipse.platform.releng.aggregator.git/ > commit/?id=f7a07b62af44dfc7b8ddb56c7bb98233b204a199 Did we think about the dependency on tips? If this will be part of the platform doc feature, does that feature install if tips is not available? I think Mickael mentioned that we can remove the dependency on tips or make it optional because the extension point will still work in those cases.
New Gerrit change created: https://git.eclipse.org/r/124940
Gerrit change https://git.eclipse.org/r/124940 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=df3e37bdad37e8327bebe8bc568246984b19a1a9
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. As such, we're closing this bug. If you have further information on the current state of the bug, please add it and reopen this bug. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. -- The automated Eclipse Genie.
