Set up shell history settings
* Store 10000 lines of history
* Append history instead of overwriting
* Ignore duplicates