Gnome-Shell-Extension-Manager: Wer die Ubuntu-Oberfläche aufpeppen oder zähmen will, kommt an diesem Tool nicht vorbei (hier mit „Floating Dock“ und „ Places Status Indicator“).
Zurück zum Artikel: Ubuntu optimieren: Nützliche Tweaks und Tuning-Tools
