November 1, 2019

Gnome Tweaks

Every now and then I want to do some small changes in the UI of whatever operating system I am using.

In the case of Ubuntu I use the Gnome Tweaks application, which cover the usual suspects.

sudo apt install gnome-tweak-tool