tasks.json 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. {
  2. "version": "2.0.0",
  3. "presentation": {
  4. "echo": false,
  5. "reveal": "always",
  6. "focus": false,
  7. "panel": "dedicated",
  8. "showReuseMessage": true
  9. },
  10. "tasks": [
  11. {
  12. "label": "Create terminals",
  13. "dependsOn": [
  14. "Server",
  15. "UX"
  16. ],
  17. // Mark as the default build task so cmd/ctrl+shift+b will create them
  18. "group": {
  19. "kind": "build",
  20. "isDefault": true
  21. },
  22. // Try start the task on folder open
  23. "runOptions": {
  24. "runOn": "folderOpen"
  25. }
  26. },
  27. {
  28. // The name that shows up in terminal tab
  29. "label": "Server",
  30. // The task will launch a shell
  31. "type": "shell",
  32. "command": "/bin/zsh",
  33. "args": [],
  34. // Set the shell type
  35. "options": {
  36. "cwd": "/workspace/server"
  37. },
  38. // Mark as a background task to avoid the spinner animation on the terminal tab
  39. "isBackground": true,
  40. "problemMatcher": [],
  41. // Create the tasks in a terminal group
  42. "presentation": {
  43. "group": "shell-group"
  44. }
  45. },
  46. {
  47. "label": "UX",
  48. "type": "shell",
  49. "command": "/bin/zsh",
  50. "args": [],
  51. "options": {
  52. "cwd": "/workspace/ux",
  53. },
  54. "isBackground": true,
  55. "problemMatcher": [],
  56. "presentation": {
  57. "group": "shell-group"
  58. }
  59. }
  60. ]
  61. }