12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061 |
- {
- "version": "2.0.0",
- "presentation": {
- "echo": false,
- "reveal": "always",
- "focus": false,
- "panel": "dedicated",
- "showReuseMessage": true
- },
- "tasks": [
- {
- "label": "Create terminals",
- "dependsOn": [
- "Server",
- "UX"
- ],
- // Mark as the default build task so cmd/ctrl+shift+b will create them
- "group": {
- "kind": "build",
- "isDefault": true
- },
- // Try start the task on folder open
- "runOptions": {
- "runOn": "folderOpen"
- }
- },
- {
- // The name that shows up in terminal tab
- "label": "Server",
- // The task will launch a shell
- "type": "shell",
- "command": "/bin/zsh",
- "args": [],
- // Set the shell type
- "options": {
- "cwd": "/workspace/server"
- },
- // Mark as a background task to avoid the spinner animation on the terminal tab
- "isBackground": true,
- "problemMatcher": [],
- // Create the tasks in a terminal group
- "presentation": {
- "group": "shell-group"
- }
- },
- {
- "label": "UX",
- "type": "shell",
- "command": "/bin/zsh",
- "args": [],
- "options": {
- "cwd": "/workspace/ux",
- },
- "isBackground": true,
- "problemMatcher": [],
- "presentation": {
- "group": "shell-group"
- }
- }
- ]
- }
|