Nach einer neuen Hardware-Installation habe ich in der Software-App "GNOME Tweaks" gefunden und installiert. Anschließend lief ich im Terminal:
sudo apt install gnome-tweak-tool
Zu meiner Überraschung installierte es ein anderes Paket, kein Upgrade.
Das Tweak Tool funktioniert einwandfrei, aber ich frage mich, ob ich jetzt 2 Versionen des Tools installiert habe und wenn ja, welche soll ich entfernen?
Update
Ich habe herausgefunden, dass dies gnome-tweaks
das Hauptpaket ist, das installiert werden muss:
$ 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
...