history.rst: clarify that "history search" is the default command

This commit is contained in:
Johannes Altmanninger 2020-08-02 15:18:07 +02:00
parent 81f9f51bcb
commit 242b60fdef

@ -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