Após uma nova instalação de hardware, encontrei o "Gnome Tweaks" no aplicativo de software e o instalei. Posteriormente eu corri no terminal:
sudo apt install gnome-tweak-tool
Para minha surpresa, ele instalou outro pacote, não um upgrade.
A ferramenta tweak funciona bem, mas estou pensando se agora tenho duas versões da ferramenta instalada e, em caso afirmativo, qual devo remover?
Obrigado.
Sim, o pacote gnome-tweaks-tool e os gnome-tweaks são o mesmo aplicativo. O pacote foi renomeado para gnome-tweaks com o Ubuntu 18.04, mas continua a fornecer gnome-tweak-tool como um pacote de transição, que pode ser removido com segurança (é usado para quem atualizar), como você pode ver aqui: link
Para obter uma lista completa de ferramentas de ajuste no 18.04 (Estou usando o Unity Tweak Tools), execute este comando:
$ apt list | grep tweak
gajim-rostertweaks/bionic,bionic 1.0.0-3 all
gnome-tweak-tool/bionic,bionic 3.28.1-1 all
gnome-tweaks/bionic,bionic 3.28.1-1 all
mate-tweak/bionic,bionic 18.04.16-1 all
mousetweaks/bionic,bionic,now 3.12.0-4 amd64 [installed]
tweak/bionic 3.02-2 amd64
unity-tweak-tool/bionic,bionic,now 0.0.7ubuntu4 all [installed]