diff options
| author | Ellie Huxtable <ellie@elliehuxtable.com> | 2022-04-22 21:05:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-22 21:05:02 +0100 |
| commit | 508d4f476157384b0d454bee3dd6e9256560561b (patch) | |
| tree | 9eb2fbc5a9a51d3419e9e684a01fe5a2106e77c9 /docs/config.md | |
| parent | refactor (#327) (diff) | |
| download | atuin-508d4f476157384b0d454bee3dd6e9256560561b.zip | |
History filter (#329)
* Add history filters, and hotkey toggle
Switch between different search modes to narrow down the history you
want - global search for all history, host for all history from your
current machine, session for the current shell session, and directory
for the current directory
The default can be configured via `filter_mode`
* Update docs
* Add context
Diffstat (limited to 'docs/config.md')
| -rw-r--r-- | docs/config.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/config.md b/docs/config.md index 405e3b57..8b5fa29f 100644 --- a/docs/config.md +++ b/docs/config.md @@ -102,6 +102,20 @@ the search syntax [described below](#fuzzy-search-syntax). Defaults to "prefix" +### `filter_mode` + +The default filter to use when searching + +| Column1 | Column2 | +|--------------- | --------------- | +| global (default) | Search history from all hosts, all sessions, all directories | +| host | Search history just from this host | +| session | Search history just from the current session | +| directory | Search history just from the current directory| + +Filter modes can still be toggled via ctrl-r + + ``` search_mode = "fulltext" ``` |