On 1/16/23 6:35 PM, Steffen Nurpmeso wrote:
It turns out that the inner shell tries to set the process group
(to the parent shell which no longer exists), then causing the
interactive bash on the terminal to read an EOF next, and without
ignoreeof set the interactive shell then exits. (This hap
Chet Ramey wrote in
:
|On 1/16/23 6:35 PM, Steffen Nurpmeso wrote:
|> It turns out that the inner shell tries to set the process group
|> (to the parent shell which no longer exists), then causing the
|> interactive bash on the terminal to read an EOF next, and without
|> ignoreeof set the in
Currently, in the event bash or something below it crashes, that
session's command history is lost.
It would be nice if bash saved it somewhere periodically, it doesn't
have to be too often, let's say on every second command.
That way, history could be restored from the "backup" file when the
shell
On Fri, Jan 20, 2023 at 12:08:36AM +, Peter wrote:
> Currently, in the event bash or something below it crashes, that
> session's command history is lost.
> It would be nice if bash saved it somewhere periodically, it doesn't
> have to be too often, let's say on every second command.
History m
