diff options
author | Emanuele Panzeri <thepanz@gmail.com> | 2023-08-10 00:06:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-09 23:06:27 +0100 |
commit | 8080a172afaf50cbe6b4f5aade3c0920b29c3d1e (patch) | |
tree | 757ede1a5824810ddf201d77017a8cde853133c8 /docs | |
parent | 613218f0d80e7dd9bd688d6a30d06d33fd83d0c4 (diff) |
Update(docs) Add `workspace` to config.toml and config.md (#1157)
Diffstat (limited to 'docs')
-rw-r--r-- | docs/docs/config/config.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/docs/config/config.md b/docs/docs/config/config.md index dd7c80fe4..3918c6658 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`. |