Because the remote connection can drop at any time, it is somewhat dangerous to flush local history only on shutdown. Refs: https://github.com/github/codespaces/issues/7228
Because the remote connection can drop at any time, it is somewhat dangerous to flush local history only on shutdown.
Refs: https://github.com/github/codespaces/issues/7228