Skip to content

Instantly share code, notes, and snippets.

@Lerg
Last active July 7, 2023 22:29
Show Gist options
  • Select an option

  • Save Lerg/ae677d8596b52f9d4dcb0e8a2546adce to your computer and use it in GitHub Desktop.

Select an option

Save Lerg/ae677d8596b52f9d4dcb0e8a2546adce to your computer and use it in GitHub Desktop.
"Jai: Build & Run" - VS Code task for building and running a Jai program
{
"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
}
}
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment