aboutsummaryrefslogtreecommitdiffstats
path: root/crates/atuin-client/config.toml
diff options
context:
space:
mode:
authorPavel Ivanov <mr.pavel.ivanov@gmail.com>2024-11-19 20:02:32 +0100
committerGitHub <noreply@github.com>2024-11-19 11:02:32 -0800
commitc5c5e9d84fbbdd6c8bd59f9cea006ceb6ffce927 (patch)
tree0fe228f614c692d87c68127cfc636387bb5409cf /crates/atuin-client/config.toml
parentfeat: right Arrow to modify selected command (#2453) (diff)
downloadatuin-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.toml17
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" ]