mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
95b55f86ba
If you're developing one of the libraries that has muiltiple copies auto-generated by `sync-files.py`, you can now run `sync-files.py --latest` by going to the `Terminal | Run Task...` menu in VS Code and selecting the `Sync Identical Files` task. You can set a keyboard binding to run this task for quicker access.
23 lines
826 B
JSON
23 lines
826 B
JSON
{
|
|
// See https://go.microsoft.com/fwlink/?LinkId=733558
|
|
// for the documentation about the tasks.json format
|
|
"version": "2.0.0",
|
|
"tasks": [
|
|
{
|
|
"label": "Sync Identical Files",
|
|
"type": "process",
|
|
// Non-Windows OS will usually have Python 3 already installed at /usr/bin/python3.
|
|
"command": "python3",
|
|
"args": [
|
|
"config/sync-files.py",
|
|
"--latest"
|
|
],
|
|
"windows": {
|
|
// On Windows, use whatever Python interpreter is configured for this workspace. The default is
|
|
// just `python`, so if Python is already on the path, this will find it.
|
|
"command": "${config:python.pythonPath}",
|
|
},
|
|
"problemMatcher": []
|
|
}
|
|
]
|
|
} |