summaryrefslogtreecommitdiffstats
path: root/config
diff options
context:
space:
mode:
authorJustin Chen <ctj12461@163.com>2023-08-13 23:12:59 +0800
committerGitHub <noreply@github.com>2023-08-13 11:12:59 -0400
commit7ab12658f911bebfa12f836b2a6449e08611e437 (patch)
treec5b00ec5342ff424b05d0f3c1dd283115c73bceb /config
parent82e231ac004e1f25f0a447bc601e5e3a10dca4d2 (diff)
feat: Add case sensitivity support for searching, selecting and filtering files (#393)
* feat: Add struct and enum definitons for choosing case sensitivity of search * feat: Implement `FromStr` for CaseSensitivity * feat: Add a command to change the configuration of case sensitivity * feat: Add case sensitivity support for search operations * feat: Add case sensitivity support for selection operations * docs: Add explanations for the new feature * feat: Add case sensitivity support for searching with fzf * docs: Add explanations for the new feature * docs: Update documents * feat: Refactor and add case sensitivity support for the filter operation * refactor: Extract codes related to constructing the context for searching * refactor: Extract the common component of searching, selecting and filtering files * refactor: Change the module path and name * feat: Use separate options for case sensitivity configurations * feat: Add support for changing case sensitivity configurations at runtime * docs: Add explanations for the new command
Diffstat (limited to 'config')
-rw-r--r--config/joshuto.toml8
1 files changed, 8 insertions, 0 deletions
diff --git a/config/joshuto.toml b/config/joshuto.toml
index 3986e35..9c875d4 100644
--- a/config/joshuto.toml
+++ b/config/joshuto.toml
@@ -38,6 +38,14 @@ reverse = false
max_preview_size = 2097152 # 2MB
preview_script = "~/.config/joshuto/preview_file.sh" # make sure it's marked as executable
+[search]
+# insensitive, sensitive, smart
+string_case_sensitivity = "insensitive"
+# see above
+glob_case_sensitivity = "sensitive"
+# see above
+fzf_case_sensitivity = "insensitive"
+
[tab]
# inherit, home, root
home_page = "home"