On 1/4/16 3:09 PM, Victor Porton wrote:
> On Mon, 2016-01-04 at 14:59 -0500, Chet Ramey wrote:
>> On 1/4/16 1:30 PM, por...@narod.ru <mailto:por...@narod.ru> wrote:
>>
>>> Bash Version: 4.3 Patch Level: 42 Release Status: release Description:
>>> There should be an easy way to remove the currently selected command
>>> from the history.
>>
>>
>> Easier than `history -d'?
>
> Look into my proposal carefully: I propose to do an equivalent of `history
> -d' with user pressing a single key.
I did; is that significantly easier, and enough in demand, to make the
implementation effort worthwhile?
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
