From 242b60fdefa171d4500c273c63dc419666635cec Mon Sep 17 00:00:00 2001 From: Johannes Altmanninger Date: Sun, 2 Aug 2020 15:18:07 +0200 Subject: [PATCH] history.rst: clarify that "history search" is the default command --- doc_src/cmds/history.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc_src/cmds/history.rst b/doc_src/cmds/history.rst index c3edb6226..f93e911d5 100644 --- a/doc_src/cmds/history.rst +++ b/doc_src/cmds/history.rst @@ -8,7 +8,7 @@ Synopsis :: - history search [ --show-time ] [ --case-sensitive ] [ --exact | --prefix | --contains ] [ --max=n ] [ --null ] [ -R | --reverse ] [ "search string"... ] + history [ search ] [ --show-time ] [ --case-sensitive ] [ --exact | --prefix | --contains ] [ --max=n ] [ --null ] [ -R | --reverse ] [ "search string"... ] history delete [ --show-time ] [ --case-sensitive ] [ --exact | --prefix | --contains ] "search string"... history merge history save