tasks.json 955 B

123456789101112131415161718192021222324252627282930313233343536
  1. {
  2. // See https://go.microsoft.com/fwlink/?LinkId=733558
  3. // for the documentation about the tasks.json format
  4. "version": "2.0.0",
  5. "tasks": [
  6. {
  7. "label": "make run",
  8. "type": "shell",
  9. "command": "make run",
  10. "problemMatcher": [],
  11. "isBackground": true,
  12. "presentation": {
  13. "reveal": "always",
  14. "panel": "dedicated"
  15. },
  16. "group": {
  17. "kind": "build",
  18. "isDefault": true
  19. }
  20. },
  21. {
  22. "label": "make docs.live",
  23. "type": "shell",
  24. "command": "make docs.live",
  25. "problemMatcher": [],
  26. "isBackground": true,
  27. "presentation": {
  28. "reveal": "always",
  29. "panel": "dedicated"
  30. },
  31. "group": {
  32. "kind": "build"
  33. }
  34. }
  35. ]
  36. }