Please note that this bug occurs not only for bold printing of shell prompts, but for any bold text in the terminal. For example: $ printf 'bold test: \033[1mbold on\033[m bold off\n' shows "bold on" in bold typeface on terminal emulators other than the latest konsole.