On Wed, Feb 19, 2025, at 9:48 PM, Dale R. Worley wrote:
> What it is really doing is "declare foo to
> be the history file, and then read its contents and put them in the
> history list". The problem as I see it is that the easiest to spot part
> of the documentation is
>
> -r Re
Andreas Schwab writes:
> On Feb 14 2025, Dale R. Worley wrote:
>
>> And really, that means that the effect of -r is kind of complicated and
>> unintuitive.
>
> Not really. The command uses either the supplied filename or $HISTFILE
> to name the file to operate on. Other than that, the filename a
