Improve VSCode config (JabRef#9218)

HeroxHeruxum · Oct 7, 2022 · 22f4705 · 22f4705
1 parent edd6a86
commit 22f4705
Show file tree

Hide file tree

Showing 3 changed files with 417 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -14,7 +14,9 @@
 
             // Add the IDs of extensions you want installed when the container is created.
             "extensions": [
-                "vscjava.vscode-java-pack"
+                "vscjava.vscode-java-pack",
+                "vscjava.vscode-gradle",
+                "shengchen.vscode-checkstyle"
             ]
         }
     },

diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,6 @@
+{
+    "java.configuration.updateBuildConfiguration": "interactive",
+    "java.format.settings.url": "/config/VSCode Code Style.xml",
+    "java.checkstyle.configuration": "${workspaceFolder}/config/checkstyle/checkstyle_reviewdog.xml",
+    "java.checkstyle.version": "10.3.4",
+}