Po nowej instalacji sprzętu znalazłem „GNOME Tweaks” w aplikacji i zainstalowałem go. Następnie pobiegłem w terminalu:
sudo apt install gnome-tweak-tool
Ku mojemu zaskoczeniu zainstalowałem kolejny pakiet, a nie aktualizację.
Narzędzie Tweak Tool działa dobrze, ale zastanawiam się, czy mam teraz zainstalowane 2 wersje tego narzędzia, a jeśli tak, to którą powinienem usunąć?
Aktualizacja
Dowiedziałem się, że gnome-tweaks
jest to pakiet główny, który zainstalowałem:
$ 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
...
źródło
GNOME Tweaks to nowa nazwa narzędzia GNOME Tweak, zgodnie z przyjętą odpowiedzią . Informacje o wersji GNOME 3.26 (Ubuntu 17.10) stanowią:
Aby uzyskać pełną listę narzędzi do ulepszania w 18.04 (używam narzędzia Unity Tweak), uruchom następującą komendę:
źródło