[bash] Increased bash history size to 10000