Update prompts for ghci and bash