Am Dienstag, den 21.04.2020, 17:53 +0200 schrieb Carl-Valentin Schmitt: > After installation you press keys > Alt-F2 > > Then type : gnome-tweak-tool > > There you are and you can set up your own Desktop. > > (I refer here to Ubuntu). I get a "Befehl nicht gefunden" ("command not found") message, when I try to start gnome-tweak-tool this way. But i can start it with "gnome- tweak-tool" in the activites overview. I get the suspicion that my 18.04 LTS system is outdated. Bye Volker _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gnome-list