Interest in selectively deleting history entries.

[Daniel J Sebald]

I'm curious what people's thoughts are on the ability to selectively 
delete individual lines of history.  What I see it used for, in 
particular, is removing a password the user accidentally types and hits 
return.  That could happen if the user thinks the account is locked but 
it is actually the monitor's screen saver.

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