-
Derek Stavis authored
Fixes an issue with history between shell reloads via refresh function call. As `exec` replaces the current process in a non-gently fashion, the persistent history could be out of sync with the in-memory history. Calling `history --save` before `exec` should force the shell to persist the history before replacing the current process.
8b8a7c8d