Hat geklappt. Und zwar mit der Quelle ppa
hilip.scott/elementary-tweaks
config-Änderungen habe ich mich nicht getraut, da ich nicht weiß, was es macht.
Danke für die Tipps. Ich hatte laut Google-Suche bestimmt drei verschiedene Quellen, keine konnte Elementary Tweaks laden. Ich weiß nicht, ob veraltet oder sonstwas. Ob "philip.scott" dabei war, weiß ich allerdings nicht mehr aus dem Kopf. Im Grunde ist es genau das, was mich an Linux verunsichert. Überall stehen Tipps, die meisten sind veraltet, ich lasse aber alle Terminalbefehle aufs System einprasseln, bis was passt. Ich habe schlicht keine Ahnung, wie stark ich dabei alles demoliere. 🙂
Und auch die Tatsache, dass vor Firefox gewarnt wird... Mal gucken.