Make build task silent

eliericha · eliericha · commit 7a211f54b52c · 2025-03-05T14:20:47.000Z
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
@@ -32,7 +32,15 @@
          "args": ["GPRBUILD_CARGS=-cargs:ada -gnatef"],
          "problemMatcher": ["$ada"],
          "group": "build",
-         "label": "ada: Build current project"
+         "label": "ada: Build current project",
+         "presentation": {
+            "echo": true,
+            "reveal": "silent",
+            "focus": false,
+            "panel": "shared",
+            "showReuseMessage": true,
+            "clear": false
+         }
       }
    ]
 }

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,15 @@`
`32`	`32`	`"args": ["GPRBUILD_CARGS=-cargs:ada -gnatef"],`
`33`	`33`	`"problemMatcher": ["$ada"],`
`34`	`34`	`"group": "build",`
`35`		`- "label": "ada: Build current project"`
	`35`	`+ "label": "ada: Build current project",`
	`36`	`+ "presentation": {`
	`37`	`+ "echo": true,`
	`38`	`+ "reveal": "silent",`
	`39`	`+ "focus": false,`
	`40`	`+ "panel": "shared",`
	`41`	`+ "showReuseMessage": true,`
	`42`	`+ "clear": false`
	`43`	`+ }`
`36`	`44`	`}`
`37`	`45`	`]`
`38`	`46`	`}`