Re: shell history

"Yury V. Zaytsev via mc" <[email protected]> Mon, 23 Oct 2023 11:49:11 +0200 (CEST)
Newsgroups gmane.comp.gnome.apps.mc.general
Message-ID <[email protected]>
On Mon, 23 Oct 2023, Fourhundred Thecat via mc wrote:

> I am using zsh-histdb, which saves zsh history to sqlite database:
>
> whenever I start mc, the history is flooded with "garbage":
>
>   mc
>    mc_print_command_buffer () { printf "%s\\n" "$BUFFER" >&12; }
>    [...]

mc need to hook into shell it starts to communicate with it. To make sure 
the commands do not end in history, it prefixes it with spaces. You seem 
to have done some changes, which lead to commands preceded with spaces no 
longer being ignored from history. Or maybe it's the default that changed.

-- 
Sincerely yours,
Yury V. Zaytsev

-- 
mc mailing list
[email protected]
https://lists.midnight-commander.org/mailman/listinfo/mc