diff options
| author | Pascal Kuthe | 2023-02-02 17:14:02 +0000 |
|---|---|---|
| committer | GitHub | 2023-02-02 17:14:02 +0000 |
| commit | 6ed2348078a331bc2039a313bd7ad9f0bb1a00c2 (patch) | |
| tree | 5382d34d59def4d84a2e3455f4cbd4b1f66ff961 /book | |
| parent | 62d046fa219b927c536bf6726fcae1e825346e0e (diff) | |
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 <mcarsondavis@gmail.com>
---------
Co-authored-by: g-re-g <123515925+g-re-g@users.noreply.github.com>
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'book')
| -rw-r--r-- | book/src/configuration.md | 2 |
1 files changed, 2 insertions, 0 deletions
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 |