Bug 535789

Summary:	[Tips] Provide tip provider for Help-> Tips and Tricks -> Platform
Product:	[Eclipse Project] Platform	Reporter:	Lars Vogel <Lars.Vogel>
Component:	IDE	Assignee:	Simon Scholz <simon.scholz>
Status:	CLOSED WONTFIX	QA Contact:
Severity:	normal
Priority:	P3	CC:	akurtakov, daniel_megert, Lars.Vogel, wim.jongman
Version:	4.8
Target Milestone:	---
Hardware:	PC
OS:	Linux
See Also:	https://git.eclipse.org/r/124443 https://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=fbfde2b98d1ef111f03d07a904567fe188edeb9d https://git.eclipse.org/r/124577 https://git.eclipse.org/c/platform/eclipse.platform.releng.aggregator.git/commit/?id=f7a07b62af44dfc7b8ddb56c7bb98233b204a199 https://git.eclipse.org/r/124940 https://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=df3e37bdad37e8327bebe8bc568246984b19a1a9
Whiteboard:	stalebug

Description Lars Vogel

2018-06-12 04:40:05 EDT

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

Comment 1 Lars Vogel

2018-06-12 04:42:29 EDT

Simon, please provide a Gerrit for this. I suggest hosting the tip provider in eclipse.platform.ui unless someone has a better idea.

Comment 2 Wim Jongman

2018-06-12 05:43:12 EDT

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.

Comment 3 Wim Jongman

2018-06-12 05:43:55 EDT

(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.

Comment 4 Lars Vogel

2018-06-12 05:54:41 EDT

(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

Comment 5 Eclipse Genie

2018-06-13 03:39:43 EDT

New Gerrit change created: https://git.eclipse.org/r/124443

Comment 6 Lars Vogel

2018-06-14 04:23:54 EDT

Usage of jsoup requested via https://dev.eclipse.org/ipzilla/show_bug.cgi?id=16747

Comment 7 Lars Vogel

2018-06-14 04:40:56 EDT

(In reply to Lars Vogel from comment #6)
> Usage of jsoup requested via
> https://dev.eclipse.org/ipzilla/show_bug.cgi?id=16747

Approved.

Comment 8 Eclipse Genie

2018-06-14 11:42:37 EDT

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

Comment 9 Alexander Kurtakov

2018-06-15 02:08:01 EDT

Please in the future never commit anything without having an approved CQ for its dependencies!

Comment 10 Alexander Kurtakov

2018-06-15 02:11:53 EDT

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.

Comment 11 Eclipse Genie

2018-06-15 02:23:36 EDT

New Gerrit change created: https://git.eclipse.org/r/124577

Comment 12 Eclipse Genie

2018-06-15 02:28:49 EDT

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

Comment 13 Wim Jongman

2018-06-15 06:33:16 EDT

(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.

Comment 14 Eclipse Genie

2018-06-24 08:15:07 EDT

New Gerrit change created: https://git.eclipse.org/r/124940

Comment 15 Eclipse Genie

2018-06-24 08:19:53 EDT

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

Comment 16 Eclipse Genie

2020-08-19 05:46:02 EDT

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.