diff options
| author | Phil Jones <philj56@gmail.com> | 2022-11-19 14:33:50 +0000 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-11-19 14:43:03 +0000 |
| commit | d04ca544d6845fc655cd4ba55e134de6bead6a2d (patch) | |
| tree | 7fd444b1f0a28d46c46775bd7266381906dd3a1f /doc/tofi.5.scd | |
| parent | 2c7735f2bac4d35d13c315eb8e5eee1af980b19a (diff) | |
Add --history-file option.
Diffstat (limited to 'doc/tofi.5.scd')
| -rw-r--r-- | doc/tofi.5.scd | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/doc/tofi.5.scd b/doc/tofi.5.scd index f809103..13b8c13 100644 --- a/doc/tofi.5.scd +++ b/doc/tofi.5.scd @@ -39,10 +39,24 @@ options. Default: false *history*=_true|false_ - Sort results by number of usages in run and drun modes. + Sort results by number of usages. By default, this is only effective in + the run and drun modes - see the *history-file* option for more + information. Default: true +*history-file*=_path_ + Specify an alternate file to read and store history information from / + to. This shouldn't normally be needed, and is intended to facilitate + the creation of custom modes. The default value depends on the current + mode. + + Defaults: + - tofi: None (no history file) + - tofi-run: _$XDG_STATE_HOME/tofi-history_ + - tofi-drun: _$XDG_STATE_HOME/tofi-drun-history_ + + *fuzzy-match*=_true|false_ If true, searching is performed via a simple fuzzy matching algorithm. If false, substring matching is used, weighted to favour matches closer |