Use console lexer, not bash, for shell sessions
#958
Merged
console lexer, not bash, for shell sessions
#958