Re: bash history

[Vincent Lefevre <vincent@vinc17.org>]

On 2008-01-17 15:18:23 +0000, Magnus Therning wrote:
> On 1/17/08, Vincent Lefevre <vincent@vinc17.org> wrote:
> > man zshoptions
> >
> > Look at all the options in the History section...
> 
> Of course that was /exactly/ what I was hoping to /not/ have to do :-)
> Luckily there aren't more than 18 options relating to history, but of course
> the one I wanted was the last on the list; SHARE_HISTORY.

It was difficult to guess your exact needs. FYI, I don't use
SHARE_HISTORY. I have the following:

  setopt INC_APPEND_HISTORY NO_SHARE_HISTORY
  setopt EXTENDED_HISTORY
  setopt HIST_IGNORE_DUPS NO_HIST_IGNORE_ALL_DUPS
  setopt NO_HIST_ALLOW_CLOBBER HIST_REDUCE_BLANKS
  setopt HIST_IGNORE_SPACE HIST_NO_STORE HIST_NO_FUNCTIONS
  setopt HIST_BEEP

-- 
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)