Update(docs) Add workspace to config.toml and config.md (#1157)

This commit is contained in:
Emanuele Panzeri 2023-08-10 00:06:27 +02:00 committed by GitHub
parent 613218f0d8
commit 8080a172af
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 14 additions and 0 deletions

View file

@ -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"

View file

@ -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`.