From 6ed2348078a331bc2039a313bd7ad9f0bb1a00c2 Mon Sep 17 00:00:00 2001 From: Pascal Kuthe Date: Thu, 2 Feb 2023 18:14:02 +0100 Subject: Hide duplicate symlinks from the picker (#5658) * hide duplicate symlinks from the picker * Apply suggestions from code review Co-authored-by: g-re-g <123515925+g-re-g@users.noreply.github.com> * minor stylistic fix Co-authored-by: Michael Davis --------- Co-authored-by: g-re-g <123515925+g-re-g@users.noreply.github.com> Co-authored-by: Michael Davis --- book/src/configuration.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'book') diff --git a/book/src/configuration.md b/book/src/configuration.md index 528fafd0..87585ece 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -150,6 +150,8 @@ All git related options are only enabled in a git repository. | Key | Description | Default | |--|--|---------| |`hidden` | Enables ignoring hidden files. | true +|`follow-links` | 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 |`git-ignore` | Enables reading `.gitignore` files. | true -- cgit v1.2.3-70-g09d2