From 5106a124edc738d5add32a7a862124b9b715e320 Mon Sep 17 00:00:00 2001 From: tippfehlr Date: Mon, 10 Apr 2023 17:09:45 +0200 Subject: [PATCH] Fix `file-picker.follow-symlinks` config option name in docs (#6685) --- book/src/configuration.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/src/configuration.md b/book/src/configuration.md index 4c8ff0647..38f9f9eb2 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -161,7 +161,7 @@ ### `[editor.file-picker]` Section | Key | Description | Default | |--|--|---------| |`hidden` | Enables ignoring hidden files | true -|`follow-links` | Follow symlinks instead of ignoring them | true +|`follow-symlinks` | Follow symlinks instead of ignoring them | true |`deduplicate-links` | Ignore symlinks that point at files already shown in the picker | true |`parents` | Enables reading ignore files from parent directories | true |`ignore` | Enables reading `.ignore` files | true