Current mood: falling into the bottomless pit of figuring out how to preserve bash history between multiple GNOME terminal tabs.
GNU MediaGoblin likes this.
There might be a way. There is with zsh.
@n8@identi.ca any results?
No particularly foolproof ones. Mostly hacks that rewrite the history file.
Various people seem to have really different expectations from such a feature -- like some people want one combined history, while other people think each tab should get its own history (which, in turn, raises other questions like how you distinguish between the tabs ....)
Various people seem to have really different expectations from such a feature -- like some people want one combined history, while other people think each tab should get its own history (which, in turn, raises other questions like how you distinguish between the tabs ....)