Dopo una nuova installazione dell'hardware ho trovato "GNOME Tweaks" nell'app Software e l'ho installato. Successivamente ho corso nel terminal:
sudo apt install gnome-tweak-tool
Con mia sorpresa ha installato un altro pacchetto, non un aggiornamento.
Lo strumento Tweak funziona bene, ma mi chiedo se ora ho 2 versioni installate dello strumento e, in tal caso, quale dovrei rimuovere?
Aggiornamento
Ho scoperto che gnome-tweaks
è il pacchetto principale da installare:
$ apt show gnome-tweaks
...
Breaks: gnome-tweak-tool (<= 3.27.4)
Replaces: gnome-tweak-tool (<= 3.27.4)
APT-Manual-Installed: yes
...
$ apt show gnome-tweak-tool
...
Source: gnome-tweaks
Depends: gnome-tweaks
...