Rename .history to .drspine_history
This is a minor enhancement/suggestion:
in order to avoid confusion with other 'history' files, we could rename our .history to .drspine_history
This is a minor enhancement/suggestion:
in order to avoid confusion with other 'history' files, we could rename our .history to .drspine_history