diff options
| author | Azad <49314270+Akmadan23@users.noreply.github.com> | 2024-03-11 02:16:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-10 21:16:17 -0400 |
| commit | cd9331483e518f76f2d5aca3ae708f5e49ade0c5 (patch) | |
| tree | 82feaabeda2227acfe75c1b1b1135ea75a3e6059 /docs/configuration/joshuto.toml.md | |
| parent | 4267cb55085b24770ee35c841c940f8ea7233445 (diff) | |
feat: add `case_sensitive_ext` option for mimetype, theme and icons (#497)
* feat: add `case_sensitive_ext` option for mimetype, theme and icons
* Clone `CONFIG_T` instead of initializing it twice
* Reimplement without `CONFIG_T` as static ref
* Clippy & fmt
Diffstat (limited to 'docs/configuration/joshuto.toml.md')
| -rw-r--r-- | docs/configuration/joshuto.toml.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/configuration/joshuto.toml.md b/docs/configuration/joshuto.toml.md index acec5bf..8d11925 100644 --- a/docs/configuration/joshuto.toml.md +++ b/docs/configuration/joshuto.toml.md @@ -16,6 +16,10 @@ xdg_open = false # Fork xdg_open so you can continue using joshuto with application open xdg_open_fork = false +# If true, all file extensions checks will be case sensitive. +# Applies to `[extension]` in `mimetype.toml` and `[ext]` in `theme.toml` and `icons.toml` +case_sensitive_ext = false + # Use system trash can instead of permanently removing files use_trash = true |