Re: Purge History of rm commands

Hi fellow Gentooer. > On Mon, Sep 19, 2011 at 01:37:22AM -0400, Mike Frysinger wrote: >On Monday, September 19, 2011 01:18:02 Roger wrote: >> I'm stumped on this as my history is in the format of: >> >> $ tail ~/.bash_history >> #1316296633 >> man bash >> #1316296664 >> bash -xv >> #1316372056 >

Re: Purge History of rm commands

On Monday, September 19, 2011 01:18:02 Roger wrote: > I'm stumped on this as my history is in the format of: > > $ tail ~/.bash_history > #1316296633 > man bash > #1316296664 > bash -xv > #1316372056 > screen -rd > #1316375930 > exit > #1316392889 > exit > > Is there a method of purging the histo

Purge History of rm commands

I'm stumped on this as my history is in the format of: $ tail ~/.bash_history #1316296633 man bash #1316296664 bash -xv #1316372056 screen -rd #1316375930 exit #1316392889 exit Is there a method of purging the history off all rm commands with such a file format? I've tried using history | find |

Re: Bug fix for $((x**y)) algorithm on 64+ bits machines.

No.  For example, current Bash is copyrighted and licensed by the copyright holder. To get included in Bash, though, I think the license should be the same as Bash, at the least. -- William - Original Message - > From: Nicolas ARGYROU > To: Dave Rutherford > Cc: bashbug > Sent: Sa