From 5663aaa7ec97aab133b709f79665764d961ff2fa Mon Sep 17 00:00:00 2001 From: Stephane Nicoll Date: Mon, 24 Jul 2023 14:35:13 +0200 Subject: [PATCH] Polish "Improve project setup for IntelliJ IDEA" See gh-29446 --- .gitignore | 4 - .idea/.gitignore | 10 ++ .idea/codeStyles/Project.xml | 4 +- .idea/copyright/java.xml | 6 + .idea/copyright/profiles_settings.xml | 7 + .idea/inspectionProfiles/Project_Default.xml | 2 +- .idea/scopes/java.xml | 3 + idea/codeStyleConfig.xml | 128 ------------------- 8 files changed, 29 insertions(+), 135 deletions(-) create mode 100644 .idea/.gitignore create mode 100644 .idea/copyright/java.xml create mode 100644 .idea/copyright/profiles_settings.xml create mode 100644 .idea/scopes/java.xml delete mode 100644 idea/codeStyleConfig.xml diff --git a/.gitignore b/.gitignore index e7a9b8440f..a5256ecef4 100644 --- a/.gitignore +++ b/.gitignore @@ -12,10 +12,6 @@ .classpath .factorypath .gradle -!.idea/ -.idea/* -!.idea/codeStyles -!.idea/inspectionProfiles .metadata .project .recommenders diff --git a/.idea/.gitignore b/.idea/.gitignore new file mode 100644 index 0000000000..f1e07ef8c3 --- /dev/null +++ b/.idea/.gitignore @@ -0,0 +1,10 @@ +.name +*.xml +/modules/ +/shelf/ +/workspace.xml +# Editor-based HTTP Client requests +/httpRequests/ +# Datasource local storage ignored files +/dataSources/ +/dataSources.local.xml diff --git a/.idea/codeStyles/Project.xml b/.idea/codeStyles/Project.xml index fda7def5b9..854b5bf052 100644 --- a/.idea/codeStyles/Project.xml +++ b/.idea/codeStyles/Project.xml @@ -6,7 +6,7 @@ -