[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [OT] Not clobbering bash history
From: |
Emanuel Berg |
Subject: |
Re: [OT] Not clobbering bash history |
Date: |
Thu, 07 Dec 2023 07:22:29 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Yuri Khan wrote:
>> Isn't it obvious? If I have several terminals open at the
>> same time (and I seldom have fewer than, say, three,
>> usually more), sharing history is very useful. It easy to
>> remember that I issued some kind of command, but much more
>> difficult to remember in which terminal I did it.
>
> To add to this: The original terminal where I issued the
> command I need might be busy, e.g. if I started some
> application in it. It might be inconvenient to suspend that
> application just to get at the command. Important special
> case: the application that’s occupying the terminal where
> the original command was entered is Midnight Commander
> running a sub-shell in which I want to repeat that command.
Can you have both? Local history and global history.
You have a command to switch which one is at play. 'gh' for
global history, 'lh' for local and 'th' for toggle.
That way you would also see what you would use. It is possible
you would actually just use the global one as you say.
How do I get global history for zsh?
I have this file in play - it sounds like global history, but
maybe it is session local, then? So it should be "live"
between sessions as well? How do you get that?
#! bin/zsh
#
# this file:
# https://dataswamp.org/~incal/conf/.zsh/history
setopt appendhistory
setopt histignorealldups
HISTSIZE=1000
SAVEHIST=$(( 10 * $HISTSIZE ))
HISTFILE=~/.zsh-history
--
underground experts united
https://dataswamp.org/~incal