175 reputation
6
bio website
location
age
visits member for 2 years, 9 months
seen Mar 9 at 19:58

Dec
2
comment Strange bash history behaviour when running multiple sessions
Good explanation. You mentioned shutdown, but what about killing terminal session? Session can be killed via logout or via UI or via some other means like drop in network connection. If entire history file is replaced and you have multiple sessions, are you saying that history from last closed one will be used in history file? That could explain non deterministic behavior.
Dec
2
comment Strange bash history behaviour when running multiple sessions
What if it is not SSH but Gnome terminal window that I close via UI?