|
From: | Daniel J Sebald |
Subject: | Interest in selectively deleting history entries. |
Date: | Sun, 21 Sep 2014 02:34:02 -0500 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.24) Gecko/20111108 Fedora/3.1.16-1.fc14 Thunderbird/3.1.16 |
I think I saw that the internal list code has the ability to delete individual lines. So that part is straightforward. The question is what to do with the numbering. If a line is deleted, should there just be a hole in the numbering sequence where the line used to be? I think it is probably preferred to not change the number of a line in history once it is assigned. So that would make an extra level of mapping the list number to a command-line number.
Is there a use for numbered history if there is nothing in the history command that can act on the line number?
Dan
[Prev in Thread] | Current Thread | [Next in Thread] |