Skip to content

Commit 8ca44f1

Browse files
authored
Add VS Code settings and update Makefile (#80)
* Add VS Code settings and update Makefile * Add settings to handout * Update settings and Makefile * Add vscode extensions config --------- Co-authored-by: sgdxbc <sung@comp.nus.edu.sg>
1 parent 4444877 commit 8ca44f1

File tree

2 files changed

+25
-0
lines changed

2 files changed

+25
-0
lines changed

handout-files/.vscode/extensions.json

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
{
2+
"recommendations": [
3+
"josevseb.google-java-format-for-vs-code",
4+
"redhat.java"
5+
]
6+
}

handout-files/.vscode/settings.json

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
{
2+
"java.project.sourcePaths": [
3+
"labs/lab0-pingpong/src",
4+
"labs/lab0-pingpong/tst",
5+
"labs/lab1-clientserver/src",
6+
"labs/lab1-clientserver/tst",
7+
"labs/lab2-primarybackup/src",
8+
"labs/lab2-primarybackup/tst",
9+
"labs/lab3-paxos/src",
10+
"labs/lab3-paxos/tst",
11+
"labs/lab4-shardedstore/src",
12+
"labs/lab4-shardedstore/tst",
13+
],
14+
"java.project.referencedLibraries": [
15+
"jars/*.jar",
16+
],
17+
"java.compile.nullAnalysis.mode": "automatic",
18+
"editor.defaultFormatter": "josevseb.google-java-format-for-vs-code",
19+
}

0 commit comments

Comments
 (0)