From cbf4a5b58c1440a3bc80fa887e053763d2210d22 Mon Sep 17 00:00:00 2001 From: Thomas Mangin Date: Wed, 24 Nov 2021 12:24:36 +0000 Subject: [PATCH] docs: fix typos in vscode documentation (#12565) The task configuration file is tasks.json not task.json --- doc/vscode.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/vscode.md b/doc/vscode.md index 7b3f1b4feb..5bfc86881a 100644 --- a/doc/vscode.md +++ b/doc/vscode.md @@ -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 {