2 "version": "2.0.0",
3 "tasks": [
5 "label": "Compile Paper",
6 "type": "shell",
9 "presentation": {
10 "reveal": "always",
11 "panel": "new"
12 },
13 "problemMatcher": []
14 },
16 "label": "Generate Posts Index",
17 "type": "shell",
18 "command": "./devel/generate_posts_index.sh",
19 "group": "build",
20 "presentation": {
21 "reveal": "silent",
22 "panel": "shared"
23 },
24 "problemMatcher": []
25 },
27 "label": "Format Code",
28 "type": "shell",
29 "command": "./devel/format_code.sh",
30 "group": {
31 "kind": "build",
32 "isDefault": true
33 },
34 "presentation": {
35 "reveal": "always",
36 "panel": "shared"
37 },
38 "problemMatcher": []
40 {
41 "label": "Web UI Dev Server",
42 "type": "shell",
43 "command": "cd web-ui && npm run dev",
44 "group": {
45 "kind": "build",
46 "isDefault": true
47 },
48 "presentation": {
49 "reveal": "always",
50 "panel": "new"
51 },
52 "problemMatcher": []
54 ]
55}