Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Tip of the Day/Startup Options
Startup Options
These are the options to control the Tips framework.
Property | Description | Values |
---|---|---|
org.eclipse.tips.startup.default | This is the default tips startup option if the user has not set the startup preference. |
|
org.eclipse.tips.statelocation | The location where the tips framework will save its state. If not specified then ${user.home}/.eclipse/org.eclipse.tips.state | a location in the filesystem e.g. /home/user/mystate |
org.eclipse.tips.debug | Puts the framework in debug mode, all messages will be placed in the error log. |
|
org.eclipse.tips.consolelog | Prints all messages in the console |
|
tips.test | Used by the examples plugin to load additional providers. |
|
Plugin Customization
For products there is also the option to supply a plugin customization file. On the command line supply the following parameter:
-pluginCustomization /path/to/file
Inside the file specify disabled providers and/or the default startup option.
org.eclipse.tips.ide/disabled_providers=<comma separated list of provider ID's> org.eclipse.tips.ide/activate_at_startup=<dialog|background|disable>