1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
|
{
"customizations": {
"vscode": {
"extensions": [
"/opt/cs50/extensions/explain50-1.0.0.vsix",
"/opt/cs50/extensions/cs50-0.0.1.vsix",
"/opt/cs50/extensions/ddb50-2.0.0.vsix",
"/opt/cs50/extensions/phpliteadmin-0.0.1.vsix",
"/opt/cs50/extensions/style50-0.0.1.vsix",
"cs50.extension-uninstaller",
"inferrinizzard.prettier-sql-vscode",
"mathematic.vscode-pdf",
"ms-azuretools.vscode-docker",
"ms-ceintl.vscode-language-pack-bg",
"ms-ceintl.vscode-language-pack-cs",
"ms-ceintl.vscode-language-pack-de",
"ms-ceintl.vscode-language-pack-es",
"ms-ceintl.vscode-language-pack-fr",
"ms-ceintl.vscode-language-pack-hu",
"ms-ceintl.vscode-language-pack-it",
"ms-ceintl.vscode-language-pack-ja",
"ms-ceintl.vscode-language-pack-ko",
"ms-ceintl.vscode-language-pack-pl",
"ms-ceintl.vscode-language-pack-pt-br",
"ms-ceintl.vscode-language-pack-ru",
"ms-ceintl.vscode-language-pack-zh-hans",
"ms-ceintl.vscode-language-pack-zh-hant",
"ms-python.autopep8",
"ms-python.python",
"ms-vscode.cpptools",
"ms-vscode.hexeditor",
"ms-vsliveshare.vsliveshare",
"redhat.java",
"vscjava.vscode-java-debug",
"vsls-contrib.gitdoc"
],
"settings": {
"C_Cpp.autocomplete": "disabled",
"C_Cpp.clang_format_fallbackStyle": "{ AllowShortFunctionsOnASingleLine: Empty, BraceWrapping: { AfterCaseLabel: true, AfterControlStatement: true, AfterFunction: true, AfterStruct: true, BeforeElse: true, BeforeWhile: true }, BreakBeforeBraces: Custom, ColumnLimit: 100, IndentCaseLabels: true, IndentWidth: 4, SpaceAfterCStyleCast: true, TabWidth: 4 }",
"C_Cpp.codeFolding": "disabled",
"C_Cpp.debugShortcut": false,
"C_Cpp.dimInactiveRegions": false,
"C_Cpp.doxygen.generateOnType": false,
"C_Cpp.enhancedColorization": "enabled",
"C_Cpp.errorSquiggles": "disabled",
"C_Cpp.formatting": "clangFormat",
"Prettier-SQL.keywordCase": "upper",
"[python]": {
"editor.defaultFormatter": "ms-python.autopep8"
},
"breadcrumbs.enabled": false,
"cs50.watchPorts": [
5000,
8080,
8082,
8787
],
"diffEditor.diffAlgorithm": "advanced",
"diffEditor.ignoreTrimWhitespace": false,
"editor.autoClosingQuotes": "never",
"editor.colorDecorators": false,
"editor.emptySelectionClipboard": false,
"editor.folding": false,
"editor.foldingHighlight": false,
"editor.formatOnSave": false,
"editor.guides.indentation": false,
"editor.hover.enabled": false,
"editor.lightbulb.enabled": false,
"editor.matchBrackets": "never",
"editor.minimap.enabled": false,
"editor.occurrencesHighlight": false,
"editor.parameterHints.enabled": false,
"editor.quickSuggestions": {
"comments": "off",
"other": "off",
"strings": "off"
},
"editor.renderWhitespace": "selection",
"editor.selectionHighlight": false,
"editor.semanticTokenColorCustomizations": {
"[GitHub Dark Default]": {
"rules": {
"type": "#FF7E76"
}
},
"[GitHub Light Default]": {
"rules": {
"type": "#D2343F"
}
}
},
"editor.suggestOnTriggerCharacters": false,
"explorer.compactFolders": false,
"extension-uninstaller.uninstall": [
"Codeium.codeium",
"Codeium.codeium-enterprise-updater",
"github.copilot",
"github.copilot-nightly",
"ms-toolsai.vscode-jupyter-cell-tags",
"tabnine.tabnine-vscode"
],
"extensions.ignoreRecommendations": true,
"files.autoSave": "afterDelay",
"files.autoSaveDelay": 1000,
"files.exclude": {
"**/.*": true
},
"files.insertFinalNewline": true,
"files.trimTrailingWhitespace": true,
"files.watcherExclude": {
"**/.git/objects/**": true,
"**/.git/subtree-cache/**": true,
"**/node_modules/*/**": true
},
"git.autofetch": true,
"git.decorations.enabled": false,
"git.terminalAuthentication": true,
"gitdoc.autoPull": "off",
"gitdoc.commitMessageFormat": "ccc, LLL d, kkkk, h:mm a ZZ",
"gitdoc.commitValidationLevel": "none",
"gitdoc.enabled": true,
"gitdoc.pullOnOpen": false,
"github.codespaces.devcontainerChangedNotificationStyle": "none",
"github.gitAuthentication": true,
"html.autoCreateQuotes": false,
"html.format.indentInnerHtml": true,
"html.suggest.html5": false,
"java.configuration.runtimes": [
{
"default": true,
"name": "JavaSE-22",
"path": "/opt/jdk"
}
],
"java.debug.settings.enableRunDebugCodeLens": false,
"java.inlayHints.parameterNames.enabled": "none",
"java.server.launchMode": "Standard",
"javascript.format.insertSpaceAfterFunctionKeywordForAnonymousFunctions": false,
"javascript.suggest.enabled": false,
"javascript.validate.enable": false,
"problems.decorations.enabled": false,
"python.terminal.executeInFileDir": true,
"remote.autoForwardPorts": true,
"remote.autoForwardPortsFallback": 0,
"remote.autoForwardPortsSource": "process",
"remote.otherPortsAttributes": {
"onAutoForward": "silent"
},
"scm.countBadge": "off",
"terminal.integrated.commandsToSkipShell": [
"workbench.action.toggleSidebarVisibility"
],
"terminal.integrated.defaultProfile.linux": "bash",
"terminal.integrated.enableBell": true,
"terminal.integrated.gpuAcceleration": "off",
"terminal.integrated.persistentSessionReviveProcess": "never",
"terminal.integrated.profiles.linux": {
"JavaScript Debug Terminal": null
},
"terminal.integrated.sendKeybindingsToShell": true,
"terminal.integrated.shellIntegration.decorationsEnabled": "never",
"terminal.integrated.shellIntegration.enabled": true,
"terminal.integrated.showExitAlert": false,
"terminal.integrated.tabs.description": "${task}${separator}${local}",
"terminal.integrated.tabs.showActiveTerminal": "never",
"window.autoDetectColorScheme": true,
"window.commandCenter": false,
"workbench.colorCustomizations": {
"[GitHub Dark Default]": {
"activityBar.background": "#000",
"editor.background": "#000",
"editor.lineHighlightBackground": "#0000",
"editor.lineHighlightBorder": "#0000",
"editorWhitespace.foreground": "#59A5FC",
"panel.background": "#000",
"sideBar.background": "#000",
"terminal.background": "#000",
"terminal.foreground": "#fff"
},
"[GitHub Light Default]": {
"activityBar.background": "#fff",
"editor.background": "#fff",
"editor.lineHighlightBackground": "#fff0",
"editor.lineHighlightBorder": "#fff0",
"editorWhitespace.foreground": "#1167D7",
"panel.background": "#fff",
"sideBar.background": "#fff",
"terminal.background": "#fff",
"terminal.foreground": "#000"
},
"editor.lineHighlightBorder": "#0000",
"editorError.foreground": "#0000",
"editorGutter.addedBackground": "#0000",
"editorGutter.deletedBackground": "#0000",
"editorGutter.modifiedBackground": "#0000",
"editorWarning.foreground": "#0000"
},
"workbench.editor.closeOnFileDelete": true,
"workbench.editor.enablePreview": false,
"workbench.editorAssociations": {
"*.wav": "vscode.audioPreview"
},
"workbench.iconTheme": "vs-minimal",
"workbench.preferredDarkColorTheme": "GitHub Dark Default",
"workbench.preferredLightColorTheme": "GitHub Light Default",
"workbench.startupEditor": "none",
"workbench.statusBar.visible": false,
"workbench.tips.enabled": false,
"workbench.welcomePage.walkthroughs.openOnInstall": false
}
}
},
"forwardPorts": [
5000,
5900,
6081,
8080,
8082,
8787
],
"image": "ghcr.io/cs50/codespace:8c72efb413904214f46adf16f32ec9ceb75d8d53",
"mounts": [
{
"source": "/var/run/docker.sock",
"target": "/var/run/docker-host.sock",
"type": "bind"
}
],
"postCreateCommand": "/opt/cs50/bin/postCreateCommand",
"postStartCommand": "/opt/cs50/bin/postStartCommand",
"remoteEnv": {
"CS50_GH_USER": "${localEnv:GITHUB_USER}",
"LANG": "${localEnv:CS50_LANG}",
"LOCAL_WORKSPACE_FOLDER": "${localWorkspaceFolder}",
"TZ": "${localEnv:CS50_TZ}"
}
}
|
