Skip to content

Instantly share code, notes, and snippets.

@lemmy

lemmy/settings.json

Created October 7, 2021 02:00
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lemmy/6bd7fbb8b04f7afe1b706ccde053c135 to your computer and use it in GitHub Desktop.
Save lemmy/6bd7fbb8b04f7afe1b706ccde053c135 to your computer and use it in GitHub Desktop.
Download ZIP
VSCode settings.json
Raw
settings.json
"saveAndRunExt": {
"commands": [
{
"match": "\\.tla$",
"isShellCommand": false,
"silent": true,
"cmd": "tlaplus.debugger.smoke"
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment