Fix `file-picker.follow-symlinks` config option name in docs (#6685)
commit5106a124edc738d5add32a7a862124b9b715e320
authortippfehlr <jonathan@grotelueschen.org>
dateMon 10 Apr 2023, 17:09 (4 years ago)
parente72ad1e
book/src/configuration.md+1−1
@@ -161,7 +161,7 @@ All git related options are only enabled in a git repository.
161161| Key | Description | Default |
162162|--|--|---------|
163163|`hidden` | Enables ignoring hidden files | true
164−|`follow-links` | Follow symlinks instead of ignoring them | true
164+|`follow-symlinks` | Follow symlinks instead of ignoring them | true
165165|`deduplicate-links` | Ignore symlinks that point at files already shown in the picker | true
166166|`parents` | Enables reading ignore files from parent directories | true
167167|`ignore` | Enables reading `.ignore` files | true