On 8/8/19 4:13 AM, Tomas Janousek wrote:
> Hi,
>
> On Sun, Aug 04, 2019 at 01:42:12PM -0400, Chet Ramey wrote:
>> On 8/3/19 11:05 AM, Tomas Janousek wrote:
>> I don't have or use tmux, but I'm going to guess that `kill-window' sends
>> a SIGHUP to the process group and follows it up with a SIGKILL
Hi,
On Sun, Aug 04, 2019 at 01:42:12PM -0400, Chet Ramey wrote:
> On 8/3/19 11:05 AM, Tomas Janousek wrote:
> I don't have or use tmux, but I'm going to guess that `kill-window' sends
> a SIGHUP to the process group and follows it up with a SIGKILL. The
> `source' turns off saving to history -- th
On 8/3/19 11:05 AM, Tomas Janousek wrote:
> Hello,
>
> today I was wondering why I'm sometimes losing history entries and found out
> that bash (5.0.3(1)-release, on Debian testing) won't save the history file
> on closing the terminal window if it's currently sourcing something. I'm
> attaching a
