[bash] increased history size to 5000
[bash] set default less options