We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9d37d6d commit 0906187Copy full SHA for 0906187
1 file changed
.devcontainer/devcontainer.json
@@ -22,6 +22,7 @@
22
"editor.snippetSuggestions": "top",
23
"editor.formatOnSave": true,
24
"pretext-tools.installPretext": false,
25
+ "redhat.telemetry.enabled": false,
26
"xml.validation.enabled": true,
27
"[python]": {
28
"editor.defaultFormatter": "ms-python.python"
@@ -45,4 +46,4 @@
45
46
},
47
// Use 'postCreateCommand' to run commands after the container is created.
48
"postCreateCommand": "sh ./.devcontainer/postCreateCommand.sh"
-}
49
+}
0 commit comments