On Sun 14 Jan 2018 at 12:59:55 (-0500), rhkra...@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.
