Customizing the command history