On 1/17/08, Vincent Lefevre <[EMAIL PROTECTED]> wrote: > > On 2008-01-17 09:54:42 +0000, Magnus Therning wrote: > > I'm a ZSH user, so do you have any pointers on how to do that? > > 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. /M