Skip to content

Instantly share code, notes, and snippets.

@JoshuaManton
Created May 11, 2020 01:44
Show Gist options
  • Save JoshuaManton/abb173a4365455274378715fdbcf3cb9 to your computer and use it in GitHub Desktop.
Save JoshuaManton/abb173a4365455274378715fdbcf3cb9 to your computer and use it in GitHub Desktop.
{
"selector": "source.odin",
"file_regex": "^(.*.odin)[(]([0-9]+):([0-9]+)[)](.*)",
"variants": [
{
"name": "Check",
"cmd": ["odin", "check", ".", "-ignore-unknown-attributes"],
"shell": false,
"quiet": true,
},
{
"name": "Run",
"cmd": ["odin", "run", ".", "-ignore-unknown-attributes"],
"shell": false,
"quiet": true,
},
{
"name": "Run File",
"cmd": ["odin", "run", "$file", "-ignore-unknown-attributes"],
"shell": false,
"quiet": true,
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment