Skip to content

Commit 5917ce6

Browse files
authored
Merge pull request github#3342 from dbartol/dbartol/SyncTask
Add a VS Code task to run `sync-files.py`
2 parents bcb980b + c539e84 commit 5917ce6

File tree

3 files changed

+39
-1
lines changed

3 files changed

+39
-1
lines changed

.gitignore

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,4 +21,3 @@
2121
/codeql/
2222

2323
csharp/extractor/Semmle.Extraction.CSharp.Driver/Properties/launchSettings.json
24-
.vscode

.vscode/tasks.json

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
{
2+
// To run a task, select the `Terminal | Run Task...` menu option, and then select the task from
3+
// the list in the dropdown, or invoke the `Tasks: Run Task` command from the command palette/
4+
// To bind a keyboard shortcut to invoke a task, see https://code.visualstudio.com/docs/editor/tasks#_binding-keyboard-shortcuts-to-tasks.
5+
// See https://go.microsoft.com/fwlink/?LinkId=733558
6+
// for the documentation about the tasks.json format
7+
"version": "2.0.0",
8+
"tasks": [
9+
{
10+
"label": "Sync Identical Files",
11+
"type": "process",
12+
// Non-Windows OS will usually have Python 3 already installed at /usr/bin/python3.
13+
"command": "python3",
14+
"args": [
15+
"config/sync-files.py",
16+
"--latest"
17+
],
18+
"group": "build",
19+
"windows": {
20+
// On Windows, use whatever Python interpreter is configured for this workspace. The default is
21+
// just `python`, so if Python is already on the path, this will find it.
22+
"command": "${config:python.pythonPath}",
23+
},
24+
"problemMatcher": []
25+
}
26+
]
27+
}

README.md

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,3 +14,15 @@ We welcome contributions to our standard library and standard checks. Do you hav
1414
## License
1515

1616
The code in this repository is licensed under the [MIT License](LICENSE) by [GitHub](https://github.com).
17+
18+
## Visual Studio Code integration
19+
20+
If you use Visual Studio Code to work in this repository, there are a few integration features to make development easier.
21+
22+
### CodeQL for Visual Studio Code
23+
24+
You can install the [CodeQL for Visual Studio Code](https://marketplace.visualstudio.com/items?itemName=GitHub.vscode-codeql) extension to get syntax highlighting, IntelliSense, and code navigation for the QL language, as well as unit test support for testing CodeQL libraries and queries.
25+
26+
### Tasks
27+
28+
The `.vscode/tasks.json` file defines custom tasks specific to working in this repository. To invoke one of these tasks, select the `Terminal | Run Task...` menu option, and then select the desired task from the dropdown. You can also invoke the `Tasks: Run Task` command from the command palette.

0 commit comments

Comments
 (0)