diff options
| -rw-r--r-- | atuin-client/config.toml | 4 | ||||
| -rw-r--r-- | docs/docs/config/config.md | 10 |
2 files changed, 14 insertions, 0 deletions
diff --git a/atuin-client/config.toml b/atuin-client/config.toml index b84151a3..29367cde 100644 --- a/atuin-client/config.toml +++ b/atuin-client/config.toml @@ -38,6 +38,10 @@ ## possible values: global, host, session, directory # filter_mode = "global" +## With workspace filtering enabled, Atuin will filter for commands executed +## in any directory within a git repositiry tree (default: false) +# workspaces = false + ## which filter mode to use when atuin is invoked from a shell up-key binding ## the accepted values are identical to those of "filter_mode" ## leave unspecified to use same mode set in "filter_mode" diff --git a/docs/docs/config/config.md b/docs/docs/config/config.md index dd7c80fe..3918c665 100644 --- a/docs/docs/config/config.md +++ b/docs/docs/config/config.md @@ -166,6 +166,16 @@ filter_mode_shell_up_key_binding = "session" Defaults to the value specified for filter_mode. +### `workspace` + +This flag enables a pseudo filter-mode named "workspace": the filter is automatically +activated when you are in a git repository. Defaults to false. + +With workspace filtering enabled, Atuin will filter for commands executed in any directory +within a git repository tree. + +Filter modes can still be toggled via ctrl-r. + ### `style` Which style to use. Possible values: `auto`, `full` and `compact`. |