From 508d4f476157384b0d454bee3dd6e9256560561b Mon Sep 17 00:00:00 2001 From: Ellie Huxtable Date: Fri, 22 Apr 2022 21:05:02 +0100 Subject: 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 --- docs/config.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'docs') 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" ``` -- cgit v1.3.1