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 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/walkthrough-setup-tips.md b/editors/code/walkthrough-setup-tips.md index fda4ac8002..aabe0dd662 100644 --- a/editors/code/walkthrough-setup-tips.md +++ b/editors/code/walkthrough-setup-tips.md @@ -5,6 +5,7 @@ Add the following to settings.json to mark Rust library sources as read-only: ```json "files.readonlyInclude": { "**/.cargo/registry/src/**/*.rs": true, + "**/.cargo/git/checkouts/**/*.rs": true, "**/lib/rustlib/src/rust/library/**/*.rs": true, }, ``` |