diff options
| author | Pavel Ivanov <mr.pavel.ivanov@gmail.com> | 2024-11-19 20:02:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-19 11:02:32 -0800 |
| commit | c5c5e9d84fbbdd6c8bd59f9cea006ceb6ffce927 (patch) | |
| tree | 0fe228f614c692d87c68127cfc636387bb5409cf /crates/atuin-client/config.toml | |
| parent | feat: right Arrow to modify selected command (#2453) (diff) | |
| download | atuin-c5c5e9d84fbbdd6c8bd59f9cea006ceb6ffce927.zip | |
feat(client): add filter mode enablement and ordering configuration (#2430)
Diffstat (limited to 'crates/atuin-client/config.toml')
| -rw-r--r-- | crates/atuin-client/config.toml | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/crates/atuin-client/config.toml b/crates/atuin-client/config.toml index 4b2810e5..388e3f85 100644 --- a/crates/atuin-client/config.toml +++ b/crates/atuin-client/config.toml @@ -40,12 +40,17 @@ ## possible values: prefix, fulltext, fuzzy, skim # search_mode = "fuzzy" -## which filter mode to use -## possible values: global, host, session, directory +## which filter mode to use by default +## possible values: "global", "host", "session", "directory", "workspace" +## consider using search.filters to customize the enablement and order of filter modes # filter_mode = "global" ## With workspace filtering enabled, Atuin will filter for commands executed -## in any directory within a git repository tree (default: false) +## in any directory within a git repository tree (default: false). +## +## To use workspace mode by default when available, set this to true and +## set filter_mode to "workspace" or leave it unspecified and +## set search.filters to include "workspace" before other filter modes. # workspaces = false ## which filter mode to use when atuin is invoked from a shell up-key binding @@ -254,3 +259,9 @@ records = true ## Whether the theme manager should output normal or extra information to help fix themes. ## Boolean, true or false. If unset, left up to the theme manager. # debug = true + +[search] +## The list of enabled filter modes, in order of priority. +## The "workspace" mode is skipped when not in a workspace or workspaces = false. +## Default filter mode can be overridden with the filter_mode setting. +# filters = [ "global", "host", "session", "workspace", "directory" ] |
