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 /atuin-client | |
| parent | Fix client-only builds (#1155) (diff) | |
| download | atuin-8080a172afaf50cbe6b4f5aade3c0920b29c3d1e.zip | |
Update(docs) Add `workspace` to config.toml and config.md (#1157)
Diffstat (limited to 'atuin-client')
| -rw-r--r-- | atuin-client/config.toml | 4 |
1 files changed, 4 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" |