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/config | |
| parent | 2c7735f2bac4d35d13c315eb8e5eee1af980b19a (diff) | |
Add --history-file option.
Diffstat (limited to 'doc/config')
| -rw-r--r-- | doc/config | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -143,6 +143,11 @@ # Sort results by number of usages in run and drun modes. history = true + # 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. + # history-file = /path/to/histfile + # Use fuzzy matching for searches. fuzzy-match = false |