diff options
| author | Thomas Buckley-Houston <tom@tombh.co.uk> | 2023-08-17 15:38:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-17 20:38:13 +0000 |
| commit | 243557cb7ba021df6348ab415c6e4ce8fc681f7b (patch) | |
| tree | 3d93c29f7e74e540370fd3786cb87157fe1d2787 /docs | |
| parent | Only setup shell plugin if it's not already there (#1178) (diff) | |
| download | atuin-243557cb7ba021df6348ab415c6e4ce8fc681f7b.zip | |
docs: update `workspace` config key to `workspaces` (#1174)
Diffstat (limited to '')
| -rw-r--r-- | docs/docs/config/config.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docs/config/config.md b/docs/docs/config/config.md index 3918c665..50b1d7f2 100644 --- a/docs/docs/config/config.md +++ b/docs/docs/config/config.md @@ -166,7 +166,7 @@ filter_mode_shell_up_key_binding = "session" Defaults to the value specified for filter_mode. -### `workspace` +### `workspaces` This flag enables a pseudo filter-mode named "workspace": the filter is automatically activated when you are in a git repository. Defaults to false. |