Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/walkthrough-setup-tips.md')
| -rw-r--r-- | editors/code/walkthrough-setup-tips.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/editors/code/walkthrough-setup-tips.md b/editors/code/walkthrough-setup-tips.md new file mode 100644 index 0000000000..fda4ac8002 --- /dev/null +++ b/editors/code/walkthrough-setup-tips.md @@ -0,0 +1,10 @@ +# Settings Example + +Add the following to settings.json to mark Rust library sources as read-only: + +```json +"files.readonlyInclude": { + "**/.cargo/registry/src/**/*.rs": true, + "**/lib/rustlib/src/rust/library/**/*.rs": true, +}, +``` |