Corrected bash history settings
Merge branch 'master' into archtop