history substitution in console