[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Feature: Easily remove current command from history
From: |
Chet Ramey |
Subject: |
Re: Feature: Easily remove current command from history |
Date: |
Mon, 4 Jan 2016 15:14:25 -0500 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0) Gecko/20100101 Thunderbird/38.5.0 |
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, porton@narod.ru <mailto:porton@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 chet@case.edu http://cnswww.cns.cwru.edu/~chet/
- Feature: Easily remove current command from history, porton, 2016/01/04
- Re: Feature: Easily remove current command from history, Chet Ramey, 2016/01/04
- Re: Feature: Easily remove current command from history, Victor Porton, 2016/01/04
- Re: Feature: Easily remove current command from history,
Chet Ramey <=
- Re: Feature: Easily remove current command from history, Victor Porton, 2016/01/04
- Re: Feature: Easily remove current command from history, Piotr Grzybowski, 2016/01/04
- Re: Feature: Easily remove current command from history, Greg Wooledge, 2016/01/04
- Re: Feature: Easily remove current command from history, Victor Porton, 2016/01/04
- Re: Feature: Easily remove current command from history, Eduardo A . Bustamante López, 2016/01/04
- Re: Feature: Easily remove current command from history, Dennis Williamson, 2016/01/04
- Re: Feature: Easily remove current command from history, Dennis Williamson, 2016/01/04
- Re: Feature: Easily remove current command from history, Greg Wooledge, 2016/01/05
- Re: Feature: Easily remove current command from history, Chet Ramey, 2016/01/07
- Re: Feature: Easily remove current command from history, Piotr Grzybowski, 2016/01/08