Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #191094

Re: history issue - bug?

Show all headers | View raw

On Sun 14 Jan 2018 at 12:59:55 (-0500), rhkramer@gmail.com wrote:
> On Sunday, January 14, 2018 12:14:47 PM bw wrote:
> > On Sun, 14 Jan 2018, Hans wrote:
> > > Am Sonntag, 14. Januar 2018, 08:41:21 CET schrieb David Wright:
> > > Hi David,
> > > 
> > > thanks for enlightening me. I always though, that "history -c" would
> > > clear all the history and its files as the help file says:
> > > 
> > > -c        clear the history list by deleting all of the entries
> > > 
> > > So IMO this should delete all related history files, even bash_history.
> > 
> > Shouldn't it do what it says it will do?
> > 
> > It says "clear... the list" it does not say delete files.  I can't answer
> > the question about how long it has been this way, but I'm sure it is
> > documented, so maybe look that up before fiing a bug about it?
> 
> I don't know if I want to comment or not.  To me, it takes a fairly savvy user 
> to recognize that list and file are not synonymous--for many casual users 
> (including me, and I consider myself generally as something more than just a 
> casual user), that documentation is not sufficient.

[…]

>  (Of course, I haven't gone looking 
> for documentation on the history command, perhaps this behavior is reasonably 
> documented.

!

man bash

Cheers,
David.

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

history issue - bug? Hans <hans.ullrich@loop.de> - 2018-01-14 14:10 +0100
  Re: history issue - bug? David Wright <deblis@lionunicorn.co.uk> - 2018-01-14 15:50 +0100
    Re: history issue - bug? Hans <hans.ullrich@loop.de> - 2018-01-14 17:50 +0100
      Re: history issue - bug? bw <bwtnguy@yahoo.com> - 2018-01-14 18:20 +0100
        Re: history issue - bug? Hans <hans.ullrich@loop.de> - 2018-01-14 18:30 +0100
          Re: history issue - bug? Brian <ad44@cityscape.co.uk> - 2018-01-14 19:50 +0100
        Re: history issue - bug? rhkramer@gmail.com - 2018-01-14 19:10 +0100
          Re: history issue - bug? bw <bwtnguy@yahoo.com> - 2018-01-14 19:40 +0100
          Re: history issue - bug? David Wright <deblis@lionunicorn.co.uk> - 2018-01-14 20:50 +0100
      Re: history issue - bug? David Wright <deblis@lionunicorn.co.uk> - 2018-01-14 20:30 +0100
      Re: history issue - bug? davidson <davidson@freevolt.org> - 2018-01-16 05:40 +0100
  Re: history issue - bug? Felipe Salvador <felipe.salvador@gmail.com> - 2018-01-14 18:30 +0100
    Re: history issue - bug? Felipe Salvador <felipe.salvador@gmail.com> - 2018-01-16 17:50 +0100

csiph-web