From d04ca544d6845fc655cd4ba55e134de6bead6a2d Mon Sep 17 00:00:00 2001 From: Phil Jones Date: Sat, 19 Nov 2022 14:33:50 +0000 Subject: Add --history-file option. --- doc/config | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc/config') diff --git a/doc/config b/doc/config index a43b258..c68dae7 100644 --- a/doc/config +++ b/doc/config @@ -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 -- cgit v1.2.3