On Mon, 2016-01-04 at 15:14 -0500, Chet Ramey wrote: > 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 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? It is important for security: It should be easy to remove lines with passwords and potentially harmful commands (like sudo with rm).
-- Victor Porton - http://portonvictor.org
