{ "shell_cmd": "python3 -OO -u \"$file\"", "file_regex": "^[ ]*File \"(...*?)\", line ([0-9]*)", "selector": "source.python.3", "windows": { "shell_cmd": "py -3 -OO -u \"$file\"" } }