Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- {
- "version": "2.0.0",
- "command": "cmd",
- "args": ["/c"],
- "tasks": [
- {
- "label": "The task",
- "command": "my_batch_file.bat",
- "type": "shell",
- "args": [
- "${workspaceFolder}",
- "${input:chooseDirectory}"
- ],
- "problemMatcher": []
- }
- ],
- "inputs": [
- {
- "id": "chooseDirectory",
- "description": "Select the Directory",
- "type": "pickString",
- "options": ["option1", "${fileDirname}"],
- "default": "option1"
- }
- ]
- }
- > Executing task: my_batch_file.bat C:MyWorkspaceDirectory ${fileDirname} <
Add Comment
Please, Sign In to add comment