docs: fix typos in vscode documentation (#12565)

The task configuration file is tasks.json not task.json
pull/12566/head
Thomas Mangin 2021-11-24 12:24:36 +00:00 committed by GitHub
parent 43a1d2cfea
commit cbf4a5b58c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -88,7 +88,7 @@ or create the file `.vscode/launch.json`:
**Optional:** use `"program": "${fileDirname}/${fileBasenameNoExtension}"` to debug
any current open source file with an existing binary with the same name but without any extension.
#### Step2: Configure the task.json file
#### Step2: Configure the tasks.json file
Generally, you can manually compile the application with: `v -b c -g hello.v -o hello`,
or for short: `v -g hello.v`, and then call the debugger.
@ -102,7 +102,7 @@ a task before the start of a debug session, set this attribute to the label of a
in [task.json](https://code.visualstudio.com/docs/editor/tasks) (in the workspace's .vscode folder).
Or, this can be set to `${defaultBuildTask}`, to use your default build task.
As explained, the `"preLaunchTask": "build"` needs to work with a `.vscode/task.json`
As explained, the `"preLaunchTask": "build"` needs to work with a `.vscode/tasks.json`
with a label named `build`.
```json
{