diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-12-15 16:59:00 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-12-15 16:59:00 +0100 |
commit | 4966376839365536923cd6cfbb86d15071432e1a (patch) | |
tree | 6658b4a84df5ba6a0189e6d79e37fb0cc7fb597a /.vscode/tasks.json | |
parent | f4043a0f8114b1b8612e01a5cdf65b8d6ffc6f00 (diff) |
group refresh sessions into groups for nicer history
Diffstat (limited to '.vscode/tasks.json')
-rw-r--r-- | .vscode/tasks.json | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/.vscode/tasks.json b/.vscode/tasks.json index a14159944..0799db9a2 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json @@ -6,39 +6,10 @@ { "type": "typescript", "tsconfig": "tsconfig.json", - "option": "watch", - "problemMatcher": [ - "$tsc-watch" - ], - "group": "build", - "isBackground": true, - "promptOnClose": false - }, - { - "type": "typescript", - "tsconfig": "tsconfig.json", "problemMatcher": [ "$tsc" ], "group": "build" - }, - { - "label": "tslint", - "type": "shell", - "command": "make lint", - "problemMatcher": { - "owner": "tslint", - "applyTo": "allDocuments", - "fileLocation": "absolute", - "severity": "warning", - "pattern": "$tslint5" - }, - "group": "build" - }, - { - "label": "My Task", - "type": "shell", - "command": "echo Hello" } ] }
\ No newline at end of file |