To get a bold font in Konsole, do this:
- First, create a new Profil
- Edit the profile to use DejaVu Sans Mono, Size and Style doesn’t matter
- Save it and close Konsole
- Edit $HOME/.local/share/konsole/<Profile Name>
- Add or replace the Font Entry under Appearance with
Font=DejaVu Sans Mono,9,-1,0,75,0,0,0,0,0,Bold
- Now edit $HOME/.config/konsolerc and add
[Desktop Entry] DefaultProfile=<Profile Name>
- Replace [Favorite Profiles] with
[Favorite Profiles] Favorites=
Kill all instances of Konsole, start it and never touch that stuff again!