Skip to content

Instantly share code, notes, and snippets.

@Lerg
Last active July 7, 2023 22:29
Show Gist options
  • Save Lerg/ae677d8596b52f9d4dcb0e8a2546adce to your computer and use it in GitHub Desktop.
Save Lerg/ae677d8596b52f9d4dcb0e8a2546adce to your computer and use it in GitHub Desktop.

Revisions

  1. Lerg revised this gist Jul 4, 2023. No changes.
  2. Lerg revised this gist Jul 4, 2023. 1 changed file with 56 additions and 12 deletions.
    68 changes: 56 additions & 12 deletions tasks.json
    Original file line number Diff line number Diff line change
    @@ -12,19 +12,63 @@
    "clear": true,
    "showReuseMessage": false
    },
    "problemMatcher": {
    "owner": "jai",
    "fileLocation": ["absolute"],
    "pattern": {
    "regexp": "^([^:]*):(\\d+),(\\d+):\\s+(Warning|Error):\\s+(.*)$",
    "file": 1,
    "line": 2,
    "column": 3,
    "severity": 4,
    "message": 5,
    "code": 6
    "problemMatcher": [
    {
    "severity": "error",
    "fileLocation": "absolute",
    "pattern": [
    {
    "regexp": "^(.*):(\\d+),(\\d+).*Error: (.*)$",
    "file": 1,
    "line": 2,
    "column": 3,
    "message": 4
    }
    ],
    "owner": "jai"
    },
    {
    "severity": "warning",
    "fileLocation": "absolute",
    "pattern": [
    {
    "regexp": "^(.*):(\\d+),(\\d+).*Warning: (.*)$",
    "file": 1,
    "line": 2,
    "column": 3,
    "message": 4
    }
    ],
    "owner": "jai"
    },
    {
    "severity": "info",
    "fileLocation": "absolute",
    "pattern": [
    {
    "regexp": "^(.*):(\\d+),(\\d+).*Info: (.*)$",
    "file": 1,
    "line": 2,
    "column": 3,
    "message": 4
    }
    ],
    "owner": "jai"
    },
    {
    "severity": "info",
    "fileLocation": "absolute",
    "pattern": [
    {
    "regexp": "^(.*)\\((.*):(\\d+)\\)$",
    "file": 2,
    "line": 3,
    "message": 1,
    }
    ],
    "owner": "jai"
    }
    }
    ]
    }
    ]
    }
  3. Lerg revised this gist Jul 3, 2023. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion tasks.json
    Original file line number Diff line number Diff line change
    @@ -4,7 +4,7 @@
    {
    "type": "shell",
    "label": "Jai: Build & Run",
    "command": "jai -quiet ${file} && ${fileDirname}/${fileBasenameNoExtension}",
    "command": "jai -quiet ${file} && ${fileDirname}${pathSeparator}${fileBasenameNoExtension}",
    "group": "build",
    "presentation": {
    "revealProblems": "onProblem",
  4. Lerg created this gist Jul 3, 2023.
    30 changes: 30 additions & 0 deletions tasks.json
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,30 @@
    {
    "version": "2.0.0",
    "tasks": [
    {
    "type": "shell",
    "label": "Jai: Build & Run",
    "command": "jai -quiet ${file} && ${fileDirname}/${fileBasenameNoExtension}",
    "group": "build",
    "presentation": {
    "revealProblems": "onProblem",
    "reveal": "always",
    "clear": true,
    "showReuseMessage": false
    },
    "problemMatcher": {
    "owner": "jai",
    "fileLocation": ["absolute"],
    "pattern": {
    "regexp": "^([^:]*):(\\d+),(\\d+):\\s+(Warning|Error):\\s+(.*)$",
    "file": 1,
    "line": 2,
    "column": 3,
    "severity": 4,
    "message": 5,
    "code": 6
    }
    }
    }
    ]
    }