Fixes #3883 - persistent history in shell
Merge pull request #81 from tstrachota/shell_history

Fixes #3883 - persistent history in shell