[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 2/5] Save the readline history in ~/.poke_history

From: Jose E. Marchesi
Subject: Re: [PATCH 2/5] Save the readline history in ~/.poke_history
Date: Mon, 11 Nov 2019 15:05:27 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

    +Repeatedly typing complex commands can be tiresome.
    +To help you, Poke uses the readline library
    +@xref{Top,,,rluserman,GNU Readline Library}.

Please use poke to refer to the program, and Poke to refer to the
language implemented by the program.  See the Nomenclature section in
the manual.

Other than that, this is OK for master.
Thanks! :)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]