[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! :)
- [PATCH 1/5] Fix typo in documentation, John Darrington, 2019/11/11
- [PATCH 4/5] Don't crash if editor produced an empty file., John Darrington, 2019/11/11
- [PATCH 2/5] Save the readline history in ~/.poke_history, John Darrington, 2019/11/11
- Re: [PATCH 2/5] Save the readline history in ~/.poke_history,
Jose E. Marchesi <=
- [PATCH 3/5] Don't crash if the scanner fails, John Darrington, 2019/11/11
- Re: [PATCH 3/5] Don't crash if the scanner fails, Jose E. Marchesi, 2019/11/11
- Re: [PATCH 3/5] Don't crash if the scanner fails, John Darrington, 2019/11/11
- Re: [PATCH 3/5] Don't crash if the scanner fails, Jose E. Marchesi, 2019/11/11
- Re: [PATCH 3/5] Don't crash if the scanner fails, John Darrington, 2019/11/11
- Re: [PATCH 3/5] Don't crash if the scanner fails, Jose E. Marchesi, 2019/11/11
- Re: [PATCH 3/5] Don't crash if the scanner fails, John Darrington, 2019/11/11
Re: [PATCH 1/5] Fix typo in documentation, Jose E. Marchesi, 2019/11/11