[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: bash history



On 1/17/08, Vincent Lefevre <vincent@vinc17.org> 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

Reply to: