From e3feee2959de62b59c5d6f521fafc86d0fca78bd Mon Sep 17 00:00:00 2001 From: Hannes Wellmann Date: Wed, 9 Oct 2024 00:06:03 +0200 Subject: [PATCH] [Oomph-Setup] Add jdt.ui configuration setup Additionally add a styled and drag&drop-able Oomph Configuration button to the main README. Part of https://github.com/eclipse-platform/eclipse.platform.releng.aggregator/issues/2430 --- README.md | 4 + org.eclipse.jdt.ui.setup/.project | 11 +++ .../org.eclipse.core.resources.prefs | 2 + .../JdtUIConfiguration.setup | 90 +++++++++++++++++++ 4 files changed, 107 insertions(+) create mode 100644 org.eclipse.jdt.ui.setup/.project create mode 100644 org.eclipse.jdt.ui.setup/.settings/org.eclipse.core.resources.prefs create mode 100644 org.eclipse.jdt.ui.setup/JdtUIConfiguration.setup diff --git a/README.md b/README.md index 469bf920421..19cb9a537c7 100644 --- a/README.md +++ b/README.md @@ -10,6 +10,10 @@ Contributions to JDT UI are most welcome. There are many ways to contribute, from entering high quality bug reports, to contributing code or documentation changes. For a complete guide, see the [How to Contribute](https://wiki.eclipse.org/JDT_UI/How_to_Contribute) page on the team wiki. +[![Create Eclipse Development Environment for Eclipse Platform](https://download.eclipse.org/oomph/www/setups/svg/JDT_UI.svg)]( +https://www.eclipse.org/setups/installer/?url=https://raw.githubusercontent.com/eclipse-jdt/eclipse.jdt.ui/master/org.eclipse.jdt.ui.setup/JdtUIConfiguration.setup&show=true +"Click to open Eclipse-Installer Auto Launch or drag into your running installer") + ## Developer resources Information regarding source code management, builds, coding standards, and more. diff --git a/org.eclipse.jdt.ui.setup/.project b/org.eclipse.jdt.ui.setup/.project new file mode 100644 index 00000000000..ee14a61139e --- /dev/null +++ b/org.eclipse.jdt.ui.setup/.project @@ -0,0 +1,11 @@ + + + org.eclipse.jdt.ui.setup + + + + + + + + diff --git a/org.eclipse.jdt.ui.setup/.settings/org.eclipse.core.resources.prefs b/org.eclipse.jdt.ui.setup/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 00000000000..99f26c0203a --- /dev/null +++ b/org.eclipse.jdt.ui.setup/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/org.eclipse.jdt.ui.setup/JdtUIConfiguration.setup b/org.eclipse.jdt.ui.setup/JdtUIConfiguration.setup new file mode 100644 index 00000000000..1b869409656 --- /dev/null +++ b/org.eclipse.jdt.ui.setup/JdtUIConfiguration.setup @@ -0,0 +1,90 @@ + + + + + https://www.eclipse.org/downloads/images/committers.png + + + JDT UI + + + + + + The JDT UI installation provides the latest tools needed to work with the project's source code. + + + + + + + record + + + + + + + + + + + + + + The JDT UI workspace provides all the source code of the project. + + + <p> + The <code>JDT UI</code> configuration provisions a dedicated development environment for the complete set of projects that comprise the JDT UI, + i.e. the projects that are contained in the <a href="https://github.com/eclipse-jdt/jdt.ui">jdt.ui</a> repository. + </p> + <p> + The installation is based on the latest successful integration build of the <code>Eclipse Platform SDK</code>, + the PDE target platform, like the installation, is also based on the latest integration build, + and the API baseline is based on the most recent release. + <p> + </p> + Please <a href="https://wiki.eclipse.org/Eclipse_Platform_SDK_Provisioning">read the tutorial instructions</a> for more details. + </p> + +