1{
2 "version": "2.0.0",
3 "tasks": [
4 {
5 "label": "Format Code",
6 "type": "shell",
7 "command": "./devel/format_code.sh",
8 "group": {
9 "kind": "build",
10 "isDefault": true
11 },
12 "presentation": {
13 "reveal": "always",
14 "panel": "shared"
15 },
16 "problemMatcher": []
17 },
18 {
19 "label": "Web UI Dev Server",
20 "type": "shell",
21 "command": "cd web-ui && npm run dev",
22 "group": {
23 "kind": "build",
24 "isDefault": true
25 },
26 "presentation": {
27 "reveal": "always",
28 "panel": "new"
29 },
30 "problemMatcher": []
31 }
32 ]
33}