From a64794677bbc9f2bc2b00b92c73da5ac398d96cc Mon Sep 17 00:00:00 2001 From: Duncan McIntosh Date: Mon, 20 Nov 2023 11:00:14 -0500 Subject: [PATCH] general: remove IntelliJ project files Referring to the following: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839-How-to-manage-projects-under-Version-Control-Systems There's two types of files here: * .iml files, which we don't need (we're a Maven-based project) * .idea/... files, which it does recommend sharing This removes all of them. Why? (a) It makes the project less IDE-independent, since we have IntelliJ files in the repo; (b) they cause annoyance when something changes for no good reason; (c) given the Maven configuration in pom.xml, it should autogenerate anyways. As such, remove them and add them to the gitignore. If this becomes a problem, we can just allow them back in. --- .gitignore | 5 ++++- .idea/.gitignore | 3 --- .idea/compiler.xml | 16 ---------------- .idea/jarRepositories.xml | 20 -------------------- .idea/misc.xml | 13 ------------- .idea/modules.xml | 8 -------- .idea/vcs.xml | 7 ------- brainsweep.iml | 9 --------- 8 files changed, 4 insertions(+), 77 deletions(-) delete mode 100644 .idea/.gitignore delete mode 100644 .idea/compiler.xml delete mode 100644 .idea/jarRepositories.xml delete mode 100644 .idea/misc.xml delete mode 100644 .idea/modules.xml delete mode 100644 .idea/vcs.xml delete mode 100644 brainsweep.iml diff --git a/.gitignore b/.gitignore index 2f7896d..93308fc 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,4 @@ -target/ +/target/ +/.idea +*.iml + diff --git a/.idea/.gitignore b/.idea/.gitignore deleted file mode 100644 index 26d3352..0000000 --- a/.idea/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -# Default ignored files -/shelf/ -/workspace.xml diff --git a/.idea/compiler.xml b/.idea/compiler.xml deleted file mode 100644 index 296adae..0000000 --- a/.idea/compiler.xml +++ /dev/null @@ -1,16 +0,0 @@ - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml deleted file mode 100644 index 712ab9d..0000000 --- a/.idea/jarRepositories.xml +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - - - - - - \ No newline at end of file diff --git a/.idea/misc.xml b/.idea/misc.xml deleted file mode 100644 index 49b3af9..0000000 --- a/.idea/misc.xml +++ /dev/null @@ -1,13 +0,0 @@ - - - - - - - - - \ No newline at end of file diff --git a/.idea/modules.xml b/.idea/modules.xml deleted file mode 100644 index cd822fa..0000000 --- a/.idea/modules.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - \ No newline at end of file diff --git a/.idea/vcs.xml b/.idea/vcs.xml deleted file mode 100644 index 8306744..0000000 --- a/.idea/vcs.xml +++ /dev/null @@ -1,7 +0,0 @@ - - - - - - - \ No newline at end of file diff --git a/brainsweep.iml b/brainsweep.iml deleted file mode 100644 index 8241fd0..0000000 --- a/brainsweep.iml +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - - \ No newline at end of file