Após uma nova instalação de hardware, encontrei o "GNOME Tweaks" no aplicativo Software e o instalei. Posteriormente, corri no terminal:
sudo apt install gnome-tweak-tool
Para minha surpresa, ele instalou outro pacote, não uma atualização.
A ferramenta Tweak funciona bem, mas estou me perguntando se agora tenho 2 versões da ferramenta instalada e, em caso afirmativo, qual devo remover?
Atualização
Eu descobri que gnome-tweaks
é o pacote principal para ter instalado:
$ 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
...
fonte
GNOME Tweaks é o novo nome da Ferramenta GNOME Tweak, conforme indicado na resposta aceita . As notas de versão do GNOME 3.26 (Ubuntu 17.10) afirmam:
Para obter uma lista completa das ferramentas de ajustes no 18.04 (estou usando a Unity Tweak Tool), execute este comando:
fonte