Я использую Adminer. Это очень легкий и с понятным интерфейсом.
https://www.adminer.org
Может быть установлен с sudo apt-get install adminer
Но если вы хотите более новые версии, вы должны установить вручную:
https://www.vultr.com/docs/install -adminer-на-Debian-убунту
Повторная установка gnome-tweak-tool
разрешила эту проблему, и после перезагрузки GNOME 3 снова появился. Фактически gnome-tweak-tool
был установлен, но система обнаруживает его как удаленный.