Ubuntu – How to re-enable bold texts in Terminal

command linegnome-terminaltext;

In old versions of Ubuntu, there was "allow bold texts" option in preference settings of gnome-terminal. I used to turn it off.

But in recent versions, it seems the option is gone, and I'm stuck in only non-bold texts. How can I re-enable bold texts?

Best Answer

As of Ubuntu 18.04 (GNOME Terminal 3.28) this preference is still available as a hidden one, it's just no longer displayed on the UI.

You can change it with dconf (conveniently using dconf-editor), under /org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold.

Also, newly created (from scratch, that is, not cloned) profiles set it to the default value, i.e. enabled.

Related Solutions

Ubuntu – Upgrade to 15.04: What happened to the gnome-terminal tabs

Just downgrade to good old 3.6.2 like me did.

If you have a 64-bit install:

wget http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal_3.6.2-0ubuntu1_amd64.deb
sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_amd64.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
sudo apt-mark hold gnome-terminal
sudo apt-mark hold gnome-terminal-data

For 32-bit:

wget http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal_3.6.2-0ubuntu1_i386.deb
sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_i386.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
sudo apt-mark hold gnome-terminal
sudo apt-mark hold gnome-terminal-data

Ubuntu – How to reset ubuntu gnome terminal options

Two simple steps to reset gnome-terminal to defaults:

Run this command from your Terminal:

mv -v $HOME/.gconf/apps/gnome-terminal/ $HOME/.gconf/apps/gnome-terminal_bak

Log out and then log back in

The defaults will then be back in place. Then go to:

Edit --> Profile Preferences

and customise as you wish...

Best Answer

Related Solutions

Ubuntu – Upgrade to 15.04: What happened to the gnome-terminal tabs

Ubuntu – How to reset ubuntu gnome terminal options

Related Question